| 2016-12-09 |
Julien Moutinho | Add Typing.Family and Compiling.MonoFunctor. |
tree | commitdiff |
| 2016-12-08 |
Julien Moutinho | Add tests for Compiling. |
tree | commitdiff |
| 2016-12-07 |
Julien Moutinho | Fix lambda application. |
tree | commitdiff |
| 2016-12-07 |
Julien Moutinho | Use GHC-8.0.1's TypeInType to handle kinds better,... |
tree | commitdiff |
| 2016-12-04 |
Julien Moutinho | Add Compiling, Interpreting and Transforming. |
tree | commitdiff |
| 2016-11-25 |
Julien Moutinho | Simplify the Constraint projection |
tree | commitdiff |
| 2016-11-24 |
Julien Moutinho | Revamp the type system. |
tree | commitdiff |
| 2016-11-19 |
Julien Moutinho | factorizing Type1_From ast Type0 |
tree | commitdiff |
| 2016-11-19 |
Julien Moutinho | polish code |
tree | commitdiff |
| 2016-11-18 |
Julien Moutinho | fix Num requiring Integer |
tree | commitdiff |
| 2016-11-18 |
Julien Moutinho | Type1_From instances |
tree | commitdiff |
| 2016-11-18 |
Julien Moutinho | polish code, Foldable |
tree | commitdiff |
| 2016-11-17 |
Julien Moutinho | Repr_Dup helpers |
tree | commitdiff |
| 2016-11-16 |
Julien Moutinho | Foldable, Num |
tree | commitdiff |
| 2016-11-16 |
Julien Moutinho | explore parsing of partially applied functions |
tree | commitdiff |
| 2016-11-14 |
Julien Moutinho | polish names |
tree | commitdiff |
| 2016-11-14 |
Julien Moutinho | Eq, Ord |
tree | commitdiff |
| 2016-11-14 |
Julien Moutinho | polish names |
tree | commitdiff |
| 2016-11-14 |
Julien Moutinho | MonoFunctor |
tree | commitdiff |
| 2016-11-12 |
Julien Moutinho | revamp Repr/* |
tree | commitdiff |
| 2016-11-12 |
Julien Moutinho | Integer, Integral, Num |
tree | commitdiff |
| 2016-11-11 |
Julien Moutinho | Map |
tree | commitdiff |
| 2016-11-10 |
Julien Moutinho | fix (->) by removing inline/val/lazy |
tree | commitdiff |
| 2016-11-02 |
Julien Moutinho | IO, Monoid, Foldable, Text |
tree | commitdiff |
| 2016-10-31 |
Julien Moutinho | Monad |
tree | commitdiff |
| 2016-10-30 |
Julien Moutinho | remove old files |
tree | commitdiff |
| 2016-10-30 |
Julien Moutinho | init |
tree | commitdiff |
| 2016-10-30 |
Julien Moutinho | init |
tree | commitdiff |
| 2016-10-27 |
Julien Moutinho | init |
tree | commitdiff |
| 2016-10-27 |
Julien Moutinho | init |
tree | commitdiff |
| 2016-10-27 |
Julien Moutinho | init |
tree | commitdiff |
| 2016-10-26 |
Julien Moutinho | init |
tree | commitdiff |
| 2016-10-25 |
Julien Moutinho | init |
tree | commitdiff |
| 2016-10-25 |
Julien Moutinho | init |
tree | commitdiff |
| 2016-10-25 |
Julien Moutinho | init |
tree | commitdiff |
| 2016-10-25 |
Julien Moutinho | init |
tree | commitdiff |
| 2016-10-23 |
Julien Moutinho | init |
tree | commitdiff |
| 2016-10-23 |
Julien Moutinho | init |
tree | commitdiff |
| 2016-10-23 |
Julien Moutinho | init |
tree | commitdiff |
| 2016-10-23 |
Julien Moutinho | init |
tree | commitdiff |
| 2016-10-20 |
Julien Moutinho | init |
tree | commitdiff |
| 2016-10-18 |
Julien Moutinho | init |
tree | commitdiff |
| 2016-10-18 |
Julien Moutinho | init |
tree | commitdiff |
| 2016-10-16 |
Julien Moutinho | init |
tree | commitdiff |
| 2016-10-14 |
Julien Moutinho | init |
tree | commitdiff |
|
sourcephile / git / haskell / symantic.git / history