| 2018-12-23 |
Julien Moutinho | grammar: rename At -> Sourced |
blob | commitdiff | raw |
| 2018-02-13 |
Julien Moutinho | Sync with ghc-8.2.2 and megaparsec-6.3.0. |
blob | commitdiff | raw | diff to current |
| 2017-08-18 |
Julien Moutinho | Add TyApp pattern synonyms (:$) and (:@). |
blob | commitdiff | raw | diff to current |
| 2017-07-03 |
Julien Moutinho | Directly parse types to TypeTLen, not Mod NameTy. |
blob | commitdiff | raw | diff to current |
| 2017-07-02 |
Julien Moutinho | Integrate types to the module system. |
blob | commitdiff | raw | diff to current |
| 2017-06-28 |
Julien Moutinho | Remove unused GHC extensions. |
blob | commitdiff | raw | diff to current |
| 2017-06-27 |
Julien Moutinho | Rename inj_* -> *Inj. |
blob | commitdiff | raw | diff to current |
| 2017-06-27 |
Julien Moutinho | Rename source -> withSource, and g_*. |
blob | commitdiff | raw | diff to current |
| 2017-06-24 |
Julien Moutinho | Polish comments. |
blob | commitdiff | raw | diff to current |
| 2017-06-23 |
Julien Moutinho | Polish for publication. |
blob | commitdiff | raw | diff to current |
| 2017-06-22 |
Julien Moutinho | Fix handling of Fixity in showType. |
blob | commitdiff | raw | diff to current |
| 2017-06-22 |
Julien Moutinho | Use AllowAmbiguousTypes to avoid Proxy uses. |
blob | commitdiff | raw | diff to current |
| 2017-06-22 |
Julien Moutinho | Change Term to be a GADT, to avoid type applications... |
blob | commitdiff | raw | diff to current |
| 2017-06-18 |
Julien Moutinho | Add some Eq and Show instances. |
blob | commitdiff | raw | diff to current |
| 2017-06-18 |
Julien Moutinho | Improve dynamic insertion of terms (via CtxTy or Modules). |
blob | commitdiff | raw | diff to current |
| 2017-06-15 |
Julien Moutinho | Clarification : eqKi -> eqKind. |
blob | commitdiff | raw | diff to current |
| 2017-06-15 |
Julien Moutinho | Improve the module system. |
blob | commitdiff | raw | diff to current |
| 2017-06-12 |
Julien Moutinho | Massive rewrite to better support rank-1 polymorphic... |
blob | commitdiff | raw | diff to current |
| 2017-05-11 |
Julien Moutinho | Try the new Type and Term design against the actual... |
blob | commitdiff | raw | diff to current |
| 2017-05-02 |
Julien Moutinho | Improve Show of Type. |
blob | commitdiff | raw | diff to current |
| 2017-05-01 |
Julien Moutinho | Cleanup dead-end attempts. |
blob | commitdiff | raw | diff to current |
| 2017-05-01 |
Julien Moutinho | Complexify the type system to support rank-1 polymorphi... |
blob | commitdiff | raw | diff to current |
| 2017-04-22 |
Julien Moutinho | Try to implement polymorphic types. |
blob | commitdiff | raw | diff to current |
| 2017-04-19 |
Julien Moutinho | Fix prefix/postfix operators wrt. term application. |
blob | commitdiff | raw | diff to current |
| 2017-04-01 |
Julien Moutinho | Fix Mono{Foldable,Functor} and {Semi,Is}Sequence constr... |
blob | commitdiff | raw | diff to current |
| 2017-03-24 |
Julien Moutinho | Rename grammar rules, prefixing them with g_. |
blob | commitdiff | raw | diff to current |
| 2017-03-23 |
Julien Moutinho | Add IsString instances. |
blob | commitdiff | raw | diff to current |
| 2017-03-13 |
Julien Moutinho | Add Lib.{Bounded,Enum,Ratio,Rational,Real,Semigroup}. |
blob | commitdiff | raw | diff to current |
| 2017-03-10 |
Julien Moutinho | Backtrack (try) the grammar only when necessary to... |
blob | commitdiff | raw | diff to current |
| 2017-02-11 |
Julien Moutinho | Split into symantic{,-grammar,-lib}. |
blob | commitdiff | raw | diff to current |
|
sourcephile / git / haskell / symantic.git / history