Check out my first novel, midnight's simulacra!
User contributions for Dank
From dankwiki
7 December 2009
- 17:0517:05, 7 December 2009 diff hist +47 Programming Language Theory →Typed Functional Programming
- 17:0317:03, 7 December 2009 diff hist 0 Programming Language Theory →Typed Functional Programming
- 17:0317:03, 7 December 2009 diff hist +232 Programming Language Theory →Typing
- 17:0117:01, 7 December 2009 diff hist +224 Programming Language Theory →Divergent Combinators
- 17:0017:00, 7 December 2009 diff hist +494 Programming Language Theory →Typing
- 16:5316:53, 7 December 2009 diff hist +434 Programming Language Theory →Typed Functional Programming
- 16:4916:49, 7 December 2009 diff hist +44 Programming Language Theory →Logic Programming
- 16:4616:46, 7 December 2009 diff hist +83 Programming Language Theory No edit summary
- 15:0915:09, 7 December 2009 diff hist +3 Grad school →PhD Applications
- 15:0915:09, 7 December 2009 diff hist +43 Grad school →PhD Applications
- 15:0715:07, 7 December 2009 diff hist −101 Grad school →PhD Applications
- 14:4114:41, 7 December 2009 diff hist +36 Hackery →Projects with their own pages
- 14:4114:41, 7 December 2009 diff hist −36 Hack on →Projects?
- 14:0114:01, 7 December 2009 diff hist +252 Programming Language Theory →Syntactic sugar
- 13:5013:50, 7 December 2009 diff hist +188 Programming Language Theory →Functions
- 13:2613:26, 7 December 2009 diff hist +268 Programming Language Theory →Untyped λ-calculus
- 13:2213:22, 7 December 2009 diff hist +50 Programming Language Theory No edit summary
- 13:1913:19, 7 December 2009 diff hist +42 Programming Language Theory →Combinatory Logic
- 13:1813:18, 7 December 2009 diff hist +114 Programming Language Theory →Grammar
- 13:1613:16, 7 December 2009 diff hist +219 Programming Language Theory →Evaluation via Substitution
- 12:2012:20, 7 December 2009 diff hist −2 Programming Language Theory →Evaluation via Substitution
- 12:1512:15, 7 December 2009 diff hist +1 Programming Language Theory No edit summary
- 12:1212:12, 7 December 2009 diff hist +11 Programming Language Theory →Numerics
- 12:1112:11, 7 December 2009 diff hist +81 Programming Language Theory →Numerics
- 12:1012:10, 7 December 2009 diff hist +46 Programming Language Theory →Logic
- 12:0812:08, 7 December 2009 diff hist +345 Programming Language Theory →Untyped λ-calculus
- 12:0112:01, 7 December 2009 diff hist +36 Programming Language Theory →Logic
- 12:0012:00, 7 December 2009 diff hist +2 Programming Language Theory →Logic
- 11:5911:59, 7 December 2009 diff hist +6 Programming Language Theory →Logic
- 11:3311:33, 7 December 2009 diff hist +239 Programming Language Theory →Evaluation via Substitution
- 11:2911:29, 7 December 2009 diff hist +215 Programming Language Theory →Evaluation via Substitution
- 10:4510:45, 7 December 2009 diff hist −31 Programming Language Theory No edit summary
- 10:4510:45, 7 December 2009 diff hist +42 Programming Language Theory No edit summary
- 10:4310:43, 7 December 2009 diff hist +171 Programming Language Theory No edit summary
- 10:3910:39, 7 December 2009 diff hist +55 N Real Programmer Created page with '[http://www.pbm.com/~lindahl/mel.html The Story of Mel]' current
- 10:3910:39, 7 December 2009 diff hist +4 Programming Language Theory No edit summary
- 10:3810:38, 7 December 2009 diff hist +37 Programming Language Theory No edit summary
- 10:3310:33, 7 December 2009 diff hist +240 Programming Language Theory →Fixed-Point Combinators
- 10:2810:28, 7 December 2009 diff hist +5 m Programming Language Theory →Concurrency
- 10:2810:28, 7 December 2009 diff hist +4 Programming Language Theory No edit summary
- 10:2710:27, 7 December 2009 diff hist +123 Programming Language Theory No edit summary
- 10:2310:23, 7 December 2009 diff hist 0 Programming Language Theory →Sources
- 10:2310:23, 7 December 2009 diff hist −2 Programming Language Theory →Sources
- 10:2310:23, 7 December 2009 diff hist +141 Programming Language Theory →Sources
- 10:1910:19, 7 December 2009 diff hist +166 Programming Language Theory →Sources
- 10:1410:14, 7 December 2009 diff hist +259 Programming Language Theory No edit summary
- 10:0710:07, 7 December 2009 diff hist +219 Programming Language Theory →Sources
- 10:0510:05, 7 December 2009 diff hist +160 Programming Language Theory →Sources
- 10:0410:04, 7 December 2009 diff hist +124 Programming Language Theory →Sources
- 10:0010:00, 7 December 2009 diff hist +1,398 Programming Language Theory →Semantics