rhi/agda-prelude
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity
agda-prelude/.gitignore

2 lines
7 B
Text
Raw Permalink Normal View History

First
2021-07-09 02:22:09 -04:00
_build
Reference in a new issue Copy permalink