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
- 23:58, 2 June 2013 diff hist +7 m LGtk/Semantics →Lens laws
- 21:30, 2 June 2013 diff hist +49 LGtk/Semantics →Implementation
- 21:28, 2 June 2013 diff hist +10 LGtk/Semantics rename
- 21:25, 2 June 2013 diff hist +4 m LGtk/Semantics →Implementation
- 21:24, 2 June 2013 diff hist +32 m LGtk/Semantics →Implementation
- 21:22, 2 June 2013 diff hist -8 LGtk/Semantics →Usage
- 21:21, 2 June 2013 diff hist +4 m LGtk/Semantics →Usage
- 21:18, 2 June 2013 diff hist +13 m LGtk/Semantics →Motivation
- 21:13, 2 June 2013 diff hist 0 m LGtk/Semantics →Motivation
- 21:02, 2 June 2013 diff hist +98 LGtk add link
- 20:58, 2 June 2013 diff hist +726 LGtk/Semantics more explanation
- 20:41, 2 June 2013 diff hist +7 LGtk/Semantics →Lens laws
- 20:40, 2 June 2013 diff hist +421 LGtk/Semantics more aux functions
- 20:31, 2 June 2013 diff hist +15 m LGtk/Semantics →Usage
- 20:28, 2 June 2013 diff hist +47 m LGtk/Semantics →Low-level API
- 20:25, 2 June 2013 diff hist 0 LGtk/Semantics rename lens-stack to lens-chain
- 20:24, 2 June 2013 diff hist -1 m LGtk/Semantics →Motivation
- 20:21, 2 June 2013 diff hist +38 m LGtk/Semantics →Motivation
- 20:19, 2 June 2013 diff hist -4 m LGtk/Semantics →Reference creation API
- 20:17, 2 June 2013 diff hist +1 m LGtk/Semantics →Reference creation API
- 20:17, 2 June 2013 diff hist +2 m LGtk/Semantics →Reference creation API
- 20:15, 2 June 2013 diff hist +14 m LGtk/Semantics →Reference creation
- 20:12, 2 June 2013 diff hist 0 m LGtk/Semantics →Reference creation
- 20:11, 2 June 2013 diff hist 0 m LGtk/Semantics →Operations
- 20:09, 2 June 2013 diff hist 0 LGtk/Semantics rename monad S to M
- 20:05, 2 June 2013 diff hist +6 m LGtk/Semantics →Motivation
- 20:02, 2 June 2013 diff hist +1 m LGtk/Semantics →Lenses
- 19:39, 2 June 2013 diff hist -44 LGtk/Semantics simplification
- 19:37, 2 June 2013 diff hist +167 LGtk/Semantics →Implementation
- 19:27, 2 June 2013 diff hist -2 LGtk/Semantics fix implementation
- 19:25, 2 June 2013 diff hist +1,122 LGtk/Semantics →Implementation
- 18:37, 2 June 2013 diff hist +4,080 LGtk/Semantics begin to document lens-stacks
- 18:24, 2 June 2013 diff hist -1 m LGtk/Semantics →Reference creation API
- 17:47, 2 June 2013 diff hist -5 m LGtk/Semantics →Reference creation API
- 17:38, 2 June 2013 diff hist +6 m LGtk/Semantics →Reference creation
- 17:37, 2 June 2013 diff hist +89 LGtk/Semantics reword section
- 17:30, 2 June 2013 diff hist +360 LGtk/Semantics add motivation
- 17:01, 2 June 2013 diff hist +1 m LGtk/Semantics
- 17:00, 2 June 2013 diff hist +20 m LGtk/Semantics
- 16:59, 2 June 2013 diff hist -6,069 LGtk move semantics to a subpage (was too long)
- 16:54, 2 June 2013 diff hist -7 LGtk/Semantics modify structure
- 16:52, 2 June 2013 diff hist +6,047 N LGtk/Semantics moved section from LGtk main page
- 13:42, 2 June 2013 diff hist +88 m LGtk →Reference creation API
- 13:40, 2 June 2013 diff hist +12 m LGtk →Types
- 13:36, 2 June 2013 diff hist -6 m LGtk →Reference creation
- 13:36, 2 June 2013 diff hist +14 m LGtk →Reference creation
- 13:19, 2 June 2013 diff hist 0 m LGtk →Reference creation API
- 13:19, 2 June 2013 diff hist +2,750 LGtk new references & running
- 12:25, 2 June 2013 diff hist +2 m LGtk →Operations
- 12:23, 2 June 2013 diff hist +200 LGtk use equality constraints