aboutsummaryrefslogtreecommitdiff
path: root/examples/src
Commit message (Expand)AuthorAgeFilesLines
* Use case clauses and switch statement instead of is/asInstanceOfJon Pretty2017-06-221-3/+1
* initial support for 2-arg contravariant derivations; works for simple Eq type...Piotr KrzemiƄski2017-06-211-1/+31
* Better error reportingJon Pretty2017-06-131-1/+3
* Corrected ContravariantDerivation typeclassJon Pretty2017-06-131-1/+2
* Slight tidyup of examplesJon Pretty2017-06-121-80/+0
* Improvements to error reportingv0.1.0Jon Pretty2017-06-121-0/+10
* Fixes for substitution of Lazy valuesJon Pretty2017-06-121-2/+30
* Appears to be working for both covariant and contravariant typeclassesJon Pretty2017-06-111-3/+32
* Generalized for typeclass-based extensionJon Pretty2017-06-111-0/+6
* Starting to move towards typeclass-based implementationJon Pretty2017-06-111-0/+9
* Further cleanup; no long linesJon Pretty2017-06-101-1/+1
* Pretty close to having the generic macro workingJon Pretty2017-05-291-8/+19
* Progress with mutual recursionJon Pretty2017-05-251-1/+7
* Initial checkin of messy code which appears to be a PoCJon Pretty2017-05-241-0/+22