User contributions
- 12:47, 11 August 2006 (diff | hist) . . (+138) . . m Type SK
- 12:43, 11 August 2006 (diff | hist) . . (+130) . . Type arithmetic
- 12:38, 11 August 2006 (diff | hist) . . (+9,711) . . N Type SK (A presentation of the SK combinator calculus at the type level)
- 16:00, 4 August 2006 (diff | hist) . . (+54) . . N File:Num-bytecodes.txt (A proposal for revamping the numeric bytecodes in Yhc.) (current)
- 18:50, 19 July 2006 (diff | hist) . . (+355) . . Talk:History of Haskell/Version 1