artemist/play
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity
play/idris/.gitignore

4 lines
16 B
Plaintext
Raw Normal View History

A bunch of changers I neglected to commit earlier Strange size things (i7 in llvm) Hellp world in idris A rolldice test pppassword changes to add b
2018-12-09 23:54:13 +00:00
a.out
*.o
*.idc
Reference in a new issue Copy permalink