aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Add Gitter badgeThe Gitter Badger2017-06-121-0/+2
|
* Slight tidyup of examplesJon Pretty2017-06-122-84/+3
|
* Remove spurious generic.scala~ fileJon Pretty2017-06-121-173/+0
|
* Include readme and licenseJon Pretty2017-06-122-0/+215
|
* Improvements to error reportingv0.1.0Jon Pretty2017-06-124-16/+55
|
* Fixes for substitution of Lazy valuesJon Pretty2017-06-123-27/+49
|
* Appears to be working for both covariant and contravariant typeclassesJon Pretty2017-06-113-30/+109
|
* Generalized for typeclass-based extensionJon Pretty2017-06-112-31/+15
|
* Starting to move towards typeclass-based implementationJon Pretty2017-06-113-66/+107
|
* More typesafety in the macroJon Pretty2017-06-111-11/+13
|
* Use List instead of ListMap in compiler stateJon Pretty2017-06-111-10/+8
|
* Further cleanup; no long linesJon Pretty2017-06-102-150/+97
|
* More cleanupJon Pretty2017-06-102-11/+6
|
* Avoid nasty asInstanceOf tree-rewriting hackJon Pretty2017-06-101-5/+7
|
* Fixed (I think) last remaining recursion bugJon Pretty2017-06-102-14/+14
|
* Generic macro appears to work more universallyJon Pretty2017-06-062-85/+114
|
* Apparent progressJon Pretty2017-06-053-40/+213
|
* Looks like it's finally working!Jon Pretty2017-05-292-1/+7
|
* Pretty close to having the generic macro workingJon Pretty2017-05-293-54/+177
| | | | And yet so far.
* Progress with mutual recursionJon Pretty2017-05-253-67/+52
|
* First cleanup stepJon Pretty2017-05-241-0/+14
|
* Initial checkin of messy code which appears to be a PoCJon Pretty2017-05-246-0/+314