toki/idris2-ratio
1
0
Fork 0
Code Issues Pull requests Activity
idris2-ratio/.gitignore
Kiana Sheibani 599cd90931
Initial commit
2022-09-02 21:59:06 -04:00

5 lines
23 B
Text
Raw Permalink Blame History

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