5 Commits

Author	SHA1	Message	Date
Roland Walker	871c3f378b	:latest as symbol in idris	2014-09-17 07:42:48 -04:00
Roland Walker	973d732e6e	idris.rb	2014-09-10 11:37:02 -04:00
ndr	25749cca45	Reformat idris.rb according to readability conventions	2014-06-27 02:01:18 +02:00
Roland Walker	c8cd897435	mass convert Casks to sha256 :no_check	2014-05-08 08:51:31 -04:00
ndr	ecc3b7b0b9	Add Idris	2014-05-02 21:33:43 +02:00