idris2-profunctors/.gitignore

6 lines
23 B
Plaintext
Raw Permalink Normal View History

2023-03-04 22:15:21 -05:00
*.ibc
*.o
build/
*.*~