2014-12-09
		09:50 UTC Revision 1 . . . . BayleShanks – " Languages like Agda can do this even more impressively. You can do stuff like write if_then_else_ : Bool -> a -> a -> a And you can . . .

History of notes-computer-programming-programmingLanguageDesign-prosAndCons-agda