Artemis Tosini cdab9d90a1 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
..
.gitignore	A bunch of changers I neglected to commit earlier	2018-12-09 23:54:13 +00:00
Hello.idr	A bunch of changers I neglected to commit earlier	2018-12-09 23:54:13 +00:00