User contributions
- 11:41, 24 September 2007 (diff | hist) . . (+378) . . Physical units/CalDims
- 20:53, 30 June 2007 (diff | hist) . . (+36) . . m Monadic regions
- 20:37, 30 June 2007 (diff | hist) . . (+36) . . m Physical units/Dimensionalized numbers
- 20:36, 30 June 2007 (diff | hist) . . (+36) . . m Research papers/Type systems
- 20:16, 30 June 2007 (diff | hist) . . (0) . . m Type functions
- 20:16, 30 June 2007 (diff | hist) . . (+36) . . m Type functions
- 20:14, 30 June 2007 (diff | hist) . . (+36) . . Type SK
- 20:11, 30 June 2007 (diff | hist) . . (0) . . m Type arithmetic
- 20:09, 30 June 2007 (diff | hist) . . (+37) . . m Dependent type (meta: adding Type-level programming category)
- 19:03, 30 June 2007 (diff | hist) . . (+118) . . N Category:Type-level programming
- 19:01, 30 June 2007 (diff | hist) . . (+36) . . Type arithmetic
- 10:05, 19 December 2006 (diff | hist) . . (+72) . . Physical units/CalDims
- 18:54, 28 November 2006 (diff | hist) . . (+148) . . Physical units/CalDims
- 14:41, 20 November 2006 (diff | hist) . . (+146) . . Physical units/CalDims
- 14:11, 20 November 2006 (diff | hist) . . (+52) . . Physical units/CalDims
- 11:48, 20 November 2006 (diff | hist) . . (+573) . . N Physical units/CalDims
- 11:43, 20 November 2006 (diff | hist) . . (+303) . . Applications and libraries/Mathematics