log

age author description
Sun, 22 Feb 2015 06:55:40 +0000 HackBot <oerjan> addquote <Taneb> cpressey, Agda is a function that maps cabal install to an electric heater
Sun, 22 Feb 2015 02:14:00 +0000 HackBot <ais523> addquote <elliott> oerjan: if the answer is no then it might as well be yes
Sun, 15 Feb 2015 01:00:24 +0000 HackBot <ais523> pastequotes lambda
Thu, 05 Feb 2015 09:33:33 +0000 HackBot <shachaf> rm bin/pbflistdeluxe
Tue, 03 Feb 2015 23:40:04 +0000 HackBot <vanila> learn Zygohistomorphic-prepromorphism Used when you really need both semi-mutual recursion and history and to repeatedly apply a natural transformation as you get deeper into the functor
Tue, 03 Feb 2015 23:38:38 +0000 HackBot <oerjan> learn A morphism is just a natural transformation between two functors on 1.