Sign inSign up

scottfleischman/agda-from-nothing

By scottfleischman

•Updated over 10 years ago

Agda with Emacs and exercises for the Agda from Nothing workshop

Image
0

425

scottfleischman/agda-from-nothing repository overview

https://github.com/scott-fleischman/agda-from-nothing⁠

Tag summary

Content type

Image

Digest

Size

348.6 MB

Last updated

over 10 years ago

docker pull scottfleischman/agda-from-nothing