User contributions
Jump to navigation
Jump to search
- 18:19, 7 June 2013 diff hist +3,527 N LGtk/ADT lenses begin to document ADT lenses
- 21:14, 6 June 2013 diff hist +108 LGtk/Semantics add reddit link
- 08:31, 4 June 2013 diff hist +12 m LGtk/Semantics →Summary
- 08:06, 4 June 2013 diff hist -4 m LGtk/Semantics rename variables
- 08:02, 4 June 2013 diff hist +2,435 LGtk/Semantics add reference summary subsection
- 07:28, 4 June 2013 diff hist +712 LGtk/Semantics complete reference laws
- 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