Check out my first novel, midnight's simulacra!
User contributions for Dank
From dankwiki
7 December 2009
- 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
- 09:4609:46, 7 December 2009 diff hist +459 Programming Language Theory No edit summary
- 09:3609:36, 7 December 2009 diff hist +156 Programming Language Theory →Fixed-Point Combinators
- 09:2409:24, 7 December 2009 diff hist +8 Hack on →Things I wish I'd never learned, and very cool things, in a stub-dense pile
- 09:2409:24, 7 December 2009 diff hist +62 Hack on →Things I wish I'd never learned, and very cool things, in a stub-dense pile
- 09:2209:22, 7 December 2009 diff hist +54 Programming Language Theory →Combinatory Logic
- 09:2209:22, 7 December 2009 diff hist −7 Programming Language Theory →Combinatory Logic
- 09:2009:20, 7 December 2009 diff hist +83 Programming Language Theory →Combinatory Logic
- 09:1709:17, 7 December 2009 diff hist +459 Programming Language Theory →Combinatory Logic
- 09:0909:09, 7 December 2009 diff hist +91 Programming Language Theory →Fixed-Point Combinators
- 09:0109:01, 7 December 2009 diff hist +79 Programming Language Theory →Applicative/Functional Programming
- 08:5208:52, 7 December 2009 diff hist +163 Programming Language Theory →Sources
- 08:4108:41, 7 December 2009 diff hist +7 Programming Language Theory →Numerics
- 08:4008:40, 7 December 2009 diff hist +77 Programming Language Theory →Untyped λ-calculus
- 08:3908:39, 7 December 2009 diff hist +81 Programming Language Theory →Untyped λ-calculus
- 08:3608:36, 7 December 2009 diff hist +11 Church-Rosser Theorem Redirected page to Programming Language Theory#Evaluation current
- 08:3508:35, 7 December 2009 diff hist +81 N Church-Rosser Theorem Redirected page to Programming Language Theory
- 08:3408:34, 7 December 2009 diff hist 0 Church-Turing Thesis Redirected page to Programming Language Theory current
- 08:3408:34, 7 December 2009 diff hist +43 Church-Turing Thesis No edit summary
- 08:2408:24, 7 December 2009 diff hist +4 Programming Language Theory →Sources
- 08:2408:24, 7 December 2009 diff hist +117 Programming Language Theory →Sources
- 08:2208:22, 7 December 2009 diff hist +179 Programming Language Theory →Sources
- 08:2008:20, 7 December 2009 diff hist +447 Programming Language Theory No edit summary