54 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
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
Artemis Tosini	b3fa4050c1	Start pppassword	2018-09-14 19:07:05 +00:00
Artemis Tosini	148683f8f0	Minor wordpw changes	2018-08-23 12:24:36 +00:00
Artemis Tosini	5cfb873d4d	add wordpw	2018-08-23 12:21:44 +00:00