toki/idris2-lens
1
0
Fork 0
Code Issues Pull requests Activity
idris2-lens/.gitignore
Kiana Sheibani 1f1bfc0428
Initial commit
2023-03-31 13:22:03 -04:00

5 lines
23 B
Text
Raw Permalink Blame History

*.ibc
*.o
build/
*.*~
Reference in a new issue View git blame Copy permalink