2017-05-02 |
Julien Moutinho | Improve Show of Type. |
tree | commitdiff |
2017-05-01 |
Julien Moutinho | Cleanup dead-end attempts. |
tree | commitdiff |
2017-05-01 |
Julien Moutinho | Complexify the type system to support rank-1 polymorphi... |
tree | commitdiff |
2017-04-22 |
Julien Moutinho | Try to implement polymorphic types. |
tree | commitdiff |
2017-04-19 |
Julien Moutinho | Fix prefix/postfix operators wrt. term application. |
tree | commitdiff |
2017-04-01 |
Julien Moutinho | Fix Mono{Foldable,Functor} and {Semi,Is}Sequence constr... |
tree | commitdiff |
2017-03-24 |
Julien Moutinho | Rename grammar rules, prefixing them with g_. |
tree | commitdiff |
2017-03-23 |
Julien Moutinho | Add IsString instances. |
tree | commitdiff |
2017-03-13 |
Julien Moutinho | Add Lib.{Bounded,Enum,Ratio,Rational,Real,Semigroup}. |
tree | commitdiff |
2017-03-10 |
Julien Moutinho | Renaming Constants -> TyConsts. |
tree | commitdiff |
2017-03-10 |
Julien Moutinho | Fix Inj_ConstP -> Inj_TyConstP. |
tree | commitdiff |
2017-03-10 |
Julien Moutinho | Cosmetic cleanup. |
tree | commitdiff |
2017-03-10 |
Julien Moutinho | Backtrack (try) the grammar only when necessary to... |
tree | commitdiff |
2017-02-11 |
Julien Moutinho | Split into symantic{,-grammar,-lib}. |
tree | commitdiff |
|