# HG changeset patch
# User HackBot
# Date 1424588140 0
# Node ID 08e76884fb95a5985d4c69dcbc17718e85fa8932
# Parent  3bdc717684635ca4068f31ebdbdc031790e53eb2
<oerjan> addquote <Taneb> cpressey, Agda is a function that maps cabal install to an electric heater

diff -r 3bdc71768463 -r 08e76884fb95 quotes
--- a/quotes	Sun Feb 22 02:14:00 2015 +0000
+++ b/quotes	Sun Feb 22 06:55:40 2015 +0000
@@ -1230,3 +1230,4 @@
 <boily> life is overrated. it's only another expendable resource.
 <oerjan> i guess norway just isn't cold
 <elliott> oerjan: if the answer is no then it might as well be yes
+<Taneb> cpressey, Agda is a function that maps cabal install to an electric heater