User contributions
Jump to navigation
Jump to search
- 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