cas28/agda

•Updated almost 2 years ago

bleeding edge Agda compiler + standard library + cubical library, latest stable TeX Live

Image

Languages & frameworks

126

Tags for cas28/agda

Sort by

TAG

46ec761

Last pushed almost 2 years by cas28

docker pull cas28/agda:46ec761

Digest	OS/ARCH	Compressed size
40dfd8098aea	linux/amd64	2.8 GB