glmxndr/agda-plfa

•Updated about 7 years ago

Image

679

Tags for glmxndr/agda-plfa

Sort by

TAG

latest

Last pushed about 7 years by glmxndr

docker pull glmxndr/agda-plfa:latest

Digest	OS/ARCH	Compressed size
1b41a3336a59	linux/amd64	974.9 MB