User contributions
Jump to navigation
Jump to search
- 08:20, 24 June 2013 diff hist +70 Library submissions →The Core Libraries: time is a core library
- 04:54, 6 September 2012 diff hist -9 m Hask →Hask is not Cartesian closed
- 04:53, 6 September 2012 diff hist +4 Hask →"Platonic" Hask
- 04:50, 6 September 2012 diff hist 0 Hask →Hask is not Cartesian closed
- 04:50, 6 September 2012 diff hist -562 Hask
- 04:46, 6 September 2012 diff hist +44 m Hask →Hask is not Cartesian closed
- 04:39, 6 September 2012 diff hist +648 Hask →Hask is not Cartesian closed: strict product
- 07:31, 23 August 2012 diff hist +6 m Hask →"Platonic" Hask
- 07:26, 23 August 2012 diff hist -2 Hask
- 08:07, 22 August 2012 diff hist -76 Category theory