log
graph
tags
bookmarks
branches
changeset
browse
help
Mercurial
>
repo
log
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
| rev 2648:
(0)
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
tip
age
author
description
Sat, 13 Apr 2013 15:18:33 +0000
HackBot
<kmc> addquote <kmc> i had a dream just now where i was in a gymnasium and they had fire alarm pull stations but they also had a similarly shaped "call/cc alarm" which I think you were supposed to pull if you found a way to write call/cc (it was expected that people in this gymnasium would be doing a lot of programming in total dependently-typed languages)
Sat, 13 Apr 2013 15:18:15 +0000
HackBot
<kmc> delquote 1026
Sat, 13 Apr 2013 15:07:55 +0000
HackBot
<elliott> addquote <kmc> i had a dream just now where i was in a gymnasium and they had fire alarm pull stations but they also had a similarly shaped "call/cc alarm" which I think you were supposed to pull if you found a way to write call/cc (because it was expected that people in this gymnasium would be doing a lot of programming in total dependently-typed languages)
Sat, 13 Apr 2013 02:28:40 +0000
HackBot
<coppro> addquote <FreeFull> So a monoid is something like a mon, so for example pikachu is a monoid
Fri, 12 Apr 2013 23:31:02 +0000
HackBot
<shachaf> ln -s qdbformat wisdom/quoteformat
Fri, 12 Apr 2013 23:29:41 +0000
HackBot
<shachaf> ln -s qdbformat wisdom/qdbrules
Fri, 12 Apr 2013 23:29:35 +0000
HackBot
<shachaf> ln -s qdbformat wisdom/qdbfmt
less
more
| rev 2648:
(0)
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
tip