Mercurial > repo
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. |