aboutsummaryrefslogtreecommitdiff
path: root/examples
Commit message (Collapse)AuthorAgeFilesLines
* 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
| | | | And yet so far.
* 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