paasim/plfa-agda

•Updated almost 7 years ago

agda-setup for working the plfa-book

Image

323

paasim/plfa-agda repository overview

Some dockerfiles that are relevant to me. All except the arm-images are built on dockerhub⁠.

Recent tags

Content type

Image

Digest

Size

876.3 MB

Last updated

almost 7 years ago

docker pull paasim/plfa-agda