madvorak / agda-setup Goto Github PK
View Code? Open in Web Editor NEWThis project forked from firefighterduck/agda-setup
A simple tutorial for setting up Agda with VSCode Dev Containers, including a minimal container containg Agda.
License: MIT License