User contributions
Jump to navigation
Jump to search
- 20:09, 3 June 2013 diff hist +34 LGtk/Semantics better subsection name
- 20:07, 3 June 2013 diff hist -6 m LGtk/Semantics eta-reduce
- 20:01, 3 June 2013 diff hist +3 m LGtk/Semantics typo
- 20:00, 3 June 2013 diff hist +7 m LGtk/Semantics comment only
- 19:57, 3 June 2013 diff hist +364 LGtk/Semantics simpler implementation with comments
- 19:38, 3 June 2013 diff hist +19 LGtk/Semantics better subsection name
- 19:36, 3 June 2013 diff hist -2 m LGtk/Semantics →Reference creation API (revised)
- 19:34, 3 June 2013 diff hist -11 m LGtk/Semantics →Specification
- 19:34, 3 June 2013 diff hist -26 LGtk/Semantics better subsection title
- 19:32, 3 June 2013 diff hist +17 LGtk/Semantics better subsection title
- 02:38, 3 June 2013 diff hist -12 m LGtk/Semantics →Implementation
- 02:36, 3 June 2013 diff hist -740 LGtk/Semantics complete rewrite of the implementation
- 01:39, 3 June 2013 diff hist +1 m LGtk/Semantics →Implementation
- 01:29, 3 June 2013 diff hist +9 m LGtk/Semantics →Implementation
- 01:26, 3 June 2013 diff hist +159 LGtk/Semantics fix extend'
- 00:15, 3 June 2013 diff hist +55 LGtk/Semantics fix types
- 00:12, 3 June 2013 diff hist +540 LGtk/Semantics add reference laws
- 00:01, 3 June 2013 diff hist -3 m LGtk/Semantics →Usage
- 23:59, 2 June 2013 diff hist -2 m LGtk/Semantics →Implementation
- 23:58, 2 June 2013 diff hist +7 m LGtk/Semantics →Lens laws