Gabriel Gonzalez cd9c3f97e0 Update Prelude (#57) ... This adds new builtins to the Prelude and also adds corresponding tests		2017-05-15 12:54:28 -07:00
..
Bool	Update Prelude (#57)	2017-05-15 12:54:28 -07:00
Double	Update Prelude (#57)	2017-05-15 12:54:28 -07:00
Integer	Update Prelude (#57)	2017-05-15 12:54:28 -07:00
List	Add tests for Prelude examples (#56)	2017-05-14 10:45:24 -07:00
Natural	Update Prelude (#57)	2017-05-15 12:54:28 -07:00
Optional	Update Prelude (#57)	2017-05-15 12:54:28 -07:00
Text	Add documentation and examples to Prelude/	2016-12-03 17:26:33 -08:00
Monoid	Add tests for Prelude examples (#56)	2017-05-14 10:45:24 -07:00