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