User contributions

18:47, 22 January 2010 (diff | hist) . . (-2)‎ . . m Humor ‎ (fmt)
18:47, 22 January 2010 (diff | hist) . . (+72)‎ . . Humor ‎ (Monads are like burritos)
18:45, 22 January 2010 (diff | hist) . . (0)‎ . . m State Monad ‎ (sp)
19:38, 23 June 2008 (diff | hist) . . (+4)‎ . . m Peano numbers ‎ (lk "fundep")
15:10, 23 June 2008 (diff | hist) . . (+46)‎ . . m User:Dominus ‎ (fmt) (current)
15:09, 23 June 2008 (diff | hist) . . (+167)‎ . . N User:Dominus ‎ (External links)

Show contributions of new accounts only IP address or username:
Namespace: Invert selection Associated namespace

Only show edits that are latest revisions Only show edits that are page creations
From year (and earlier): From month (and earlier):

Navigation menu