Randy-Jordan/eg
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
4bc80d74bbb03273598238414c96daf9db27f677
eg/ignore/Agda.gitignore

3 lines
22 B
Plaintext
Raw Blame History

*.agdai
**/MAlonzo/**
Reference in New Issue View Git Blame Copy Permalink