Check out my first novel, midnight's simulacra!
User contributions for Dank
From dankwiki
7 December 2009
- 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
- 08:1708:17, 7 December 2009 diff hist +108 Programming Language Theory →Evaluation
- 08:1508:15, 7 December 2009 diff hist +105 Programming Language Theory →Evaluation
- 08:1108:11, 7 December 2009 diff hist +489 Programming Language Theory →Evaluation
- 08:0208:02, 7 December 2009 diff hist +625 Programming Language Theory →Evaluation
- 07:4907:49, 7 December 2009 diff hist 0 Programming Language Theory No edit summary
- 07:4907:49, 7 December 2009 diff hist −9 Programming Language Theory →Logic
- 07:4807:48, 7 December 2009 diff hist +44 Programming Language Theory →Encodings
- 07:4707:47, 7 December 2009 diff hist +216 Programming Language Theory →Encodings
- 07:4007:40, 7 December 2009 diff hist −5 Programming Language Theory →Evaluation
- 07:3907:39, 7 December 2009 diff hist +137 Programming Language Theory →Untyped λ-calculus
- 07:3507:35, 7 December 2009 diff hist +10 Programming Language Theory →Encodings
- 07:3507:35, 7 December 2009 diff hist +233 Programming Language Theory →Encodings
- 07:3007:30, 7 December 2009 diff hist +21 Programming Language Theory →Evaluation
- 07:2707:27, 7 December 2009 diff hist +533 Programming Language Theory →Evaluation
- 07:1407:14, 7 December 2009 diff hist +54 Programming Language Theory No edit summary
- 07:1407:14, 7 December 2009 diff hist −29 Programming Language Theory →Combinatory Logic
- 07:1307:13, 7 December 2009 diff hist +141 Programming Language Theory →Evaluation
- 07:1007:10, 7 December 2009 diff hist +218 Programming Language Theory →Untyped λ-calculus
- 07:0507:05, 7 December 2009 diff hist +75 Programming Language Theory →Untyped λ-calculus
- 07:0107:01, 7 December 2009 diff hist +5 Programming Language Theory →Grammar
- 07:0007:00, 7 December 2009 diff hist +330 Programming Language Theory →Untyped λ-calculus
- 06:5606:56, 7 December 2009 diff hist +6 Programming Language Theory →BNF grammar
- 06:5406:54, 7 December 2009 diff hist +24 Programming Language Theory →Untyped λ-calculus
- 06:5306:53, 7 December 2009 diff hist −8 Programming Language Theory →Untyped λ-calculus
- 06:5306:53, 7 December 2009 diff hist −2 Programming Language Theory →Untyped λ-calculus
- 06:5206:52, 7 December 2009 diff hist +26 m Programming Language Theory →Untyped λ-calculus
- 06:5206:52, 7 December 2009 diff hist +101 Programming Language Theory →Untyped λ-calculus
- 06:4906:49, 7 December 2009 diff hist +29 Programming Language Theory →Combinatory Logic