User contributions
Jump to navigation
Jump to search
- 14:41, 2 June 2014 diff hist +550 Diagrams/Dev/Migrate1.2 →Attributes using Measure
- 02:32, 2 June 2014 diff hist +710 Diagrams/Dev/Migrate1.2 write about removal of freeze
- 03:14, 25 May 2014 diff hist +896 Diagrams/Dev/Fixpoint more design
- 01:08, 25 May 2014 diff hist 0 m Diagrams/Dev/Fixpoint fix module names
- 01:04, 25 May 2014 diff hist -8 m Diagrams/Dev/Fixpoint formatting
- 01:03, 25 May 2014 diff hist +769 Diagrams/Dev/Fixpoint bit more work on fixpoint design
- 21:00, 17 May 2014 diff hist +1,825 Diagrams/Dev/Fixpoint more design for fixpoint implementation
- 01:43, 15 May 2014 diff hist +1,242 Diagrams/Dev/Fixpoint Some work on detailed design for fixpoint semantics
- 22:39, 14 May 2014 diff hist +941 Diagrams/Dev/Fixpoint lay out framework for detailed design
- 18:02, 24 April 2014 diff hist +64 m Typeclassopedia →Definition: note Applicative => Monad in GHC 7.10
- 15:43, 24 April 2014 diff hist +809 Diagrams/Dev/Expression More pros and cons
- 15:31, 24 April 2014 diff hist +866 Diagrams/Dev/Expression bit more work on expression problem page
- 15:25, 24 April 2014 diff hist +1,181 Diagrams/Dev/Expression →Dynamic typing: start working on dynamic typing section
- 15:16, 24 April 2014 diff hist +588 Diagrams/Dev/Expression →The problem
- 15:13, 24 April 2014 diff hist +1,529 Diagrams/Dev/Expression →Static typing: start fleshing out section on static typing approach
- 01:25, 23 April 2014 diff hist +97 Diagrams/Dev/Expression add some references
- 01:23, 23 April 2014 diff hist +2,281 Diagrams/Dev/Expression start writing up description of expression problem + backend type parameters
- 20:25, 22 April 2014 diff hist +98 N Diagrams/Dev/Fixpoint Add link to ML discussion. To be fleshed out later.
- 20:23, 22 April 2014 diff hist +108 N Diagrams/Dev/Expression Save link to IRC logs, to be fleshed out later
- 20:22, 22 April 2014 diff hist +272 Diagrams/Dev →Design notes: Add links to new design notes