Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | initial support for 2-arg contravariant derivations; works for simple Eq type... | Piotr KrzemiĆski | 2017-06-21 | 1 | -31/+60 |
* | Better error reporting | Jon Pretty | 2017-06-13 | 1 | -12/+15 |
* | Corrected ContravariantDerivation typeclass | Jon Pretty | 2017-06-13 | 1 | -4/+11 |
* | Improvements to error reportingv0.1.0 | Jon Pretty | 2017-06-12 | 1 | -15/+41 |
* | Fixes for substitution of Lazy values | Jon Pretty | 2017-06-12 | 1 | -15/+17 |
* | Appears to be working for both covariant and contravariant typeclasses | Jon Pretty | 2017-06-11 | 1 | -25/+73 |
* | Generalized for typeclass-based extension | Jon Pretty | 2017-06-11 | 1 | -31/+9 |
* | Starting to move towards typeclass-based implementation | Jon Pretty | 2017-06-11 | 1 | -64/+96 |
* | More typesafety in the macro | Jon Pretty | 2017-06-11 | 1 | -11/+13 |
* | Use List instead of ListMap in compiler state | Jon Pretty | 2017-06-11 | 1 | -0/+207 |