User contributions
Jump to navigation
Jump to search
- 04:51, 8 June 2013 diff hist -131 LGtk/ADT lenses fix partial lens type and definitions
- 01:42, 8 June 2013 diff hist -4 m LGtk/ADT lenses wording
- 01:41, 8 June 2013 diff hist +2 m LGtk/ADT lenses type
- 23:31, 7 June 2013 diff hist -10 m LGtk/ADT lenses fix error in code
- 23:26, 7 June 2013 diff hist -1 m LGtk/ADT lenses type
- 23:15, 7 June 2013 diff hist +3 m LGtk/ADT lenses change adjective
- 23:13, 7 June 2013 diff hist +40 m LGtk/ADT lenses a remark
- 23:06, 7 June 2013 diff hist +60 LGtk/ADT lenses add link
- 23:00, 7 June 2013 diff hist -10 LGtk/Semantics add a link current
- 22:59, 7 June 2013 diff hist +22 LGtk add a link
- 22:58, 7 June 2013 diff hist +206 LGtk/ADT lenses add summary
- 22:54, 7 June 2013 diff hist +2 m LGtk/ADT lenses →ADT lenses
- 22:53, 7 June 2013 diff hist +17 m LGtk/ADT lenses emphasise question
- 22:51, 7 June 2013 diff hist +1,066 LGtk/ADT lenses fill in generic case
- 22:32, 7 June 2013 diff hist +1,834 LGtk/ADT lenses add interpretation
- 22:17, 7 June 2013 diff hist +1,391 LGtk/ADT lenses fill subsection
- 21:58, 7 June 2013 diff hist +273 LGtk/ADT lenses refine description; add subsections
- 21:48, 7 June 2013 diff hist +400 LGtk/ADT lenses many changes
- 21:24, 7 June 2013 diff hist +27 m LGtk/ADT lenses →Example: List lens
- 21:22, 7 June 2013 diff hist +4 m LGtk/ADT lenses style change
- 21:20, 7 June 2013 diff hist -18 m LGtk/ADT lenses wording
- 21:19, 7 June 2013 diff hist -39 m LGtk/ADT lenses wording
- 18:27, 7 June 2013 diff hist +10 m LGtk/ADT lenses fix
- 18:26, 7 June 2013 diff hist +131 LGtk/ADT lenses add figure and link
- 18:21, 7 June 2013 diff hist +22 N File:ADT.png listLens example usage current
- 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
- 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