ssube
/
agulator
1
0
Fork 0
Code
agulator/.gitignore

6 lines
43 B
Plaintext
Raw Permalink Blame History

agda/*.agdai
agda/Calc
agda/MAlonzo/
out/
View Git Blame Copy Permalink