2019-07-12 |
Julien Moutinho | Update to lastest symantic-document master |
tree | commitdiff |
2019-06-17 |
Julien Moutinho | Fix cabal-version warning. |
tree | commitdiff |
2019-06-17 |
Julien Moutinho | Bump versions. |
tree | commitdiff |
2019-06-14 |
Julien Moutinho | Move symantic-document to its own Git repository. |
tree | commitdiff |
2019-05-23 |
Julien Moutinho | stack: bump to lts-13.19 |
tree | commitdiff |
2018-12-23 |
Julien Moutinho | cabal: bump GHC version |
tree | commitdiff |
2018-12-23 |
Julien Moutinho | stack: bump to lts-12.25 |
tree | commitdiff |
2018-11-09 |
Julien Moutinho | Clarify a few names in Grammar.Fixity. |
tree | commitdiff |
2018-08-31 |
Julien Moutinho | Polish cabal-version: as suggested by stack. |
tree | commitdiff |
2018-08-31 |
Julien Moutinho | Support GHC-8.4.3. |
tree | commitdiff |
2018-02-14 |
Julien Moutinho | Massage .cabal files. |
tree | commitdiff |
2018-02-13 |
Julien Moutinho | Remove unused dependencies. |
tree | commitdiff |
2018-02-13 |
Julien Moutinho | Separate tests into test/. |
tree | commitdiff |
2018-02-13 |
Julien Moutinho | Add lower version bounds to all dependencies. |
tree | commitdiff |
2018-02-13 |
Julien Moutinho | Sync with ghc-8.2.2 and megaparsec-6.3.0. |
tree | commitdiff |
2017-08-18 |
Julien Moutinho | Bump versions. |
tree | commitdiff |
2017-08-18 |
Julien Moutinho | Add TyApp pattern synonyms (:$) and (:@). |
tree | commitdiff |
2017-08-18 |
Julien Moutinho | Remove need for space after infix operator. |
tree | commitdiff |
2017-08-15 |
Julien Moutinho | Add term Function.($). |
tree | commitdiff |
2017-08-15 |
Julien Moutinho | Bump stack resolver to lts-9.0. |
tree | commitdiff |
2017-08-15 |
Julien Moutinho | Fix skipMany -> manySkip renaming. |
tree | commitdiff |
2017-07-03 |
Julien Moutinho | Bump versions. |
tree | commitdiff |
2017-07-03 |
Julien Moutinho | Directly parse types to TypeTLen, not Mod NameTy. |
tree | commitdiff |
2017-07-02 |
Julien Moutinho | Bump versions. |
tree | commitdiff |
2017-07-02 |
Julien Moutinho | Integrate types to the module system. |
tree | commitdiff |
2017-06-27 |
Julien Moutinho | Rename inj_* -> *Inj. |
tree | commitdiff |
2017-06-27 |
Julien Moutinho | Rename source -> withSource, and g_*. |
tree | commitdiff |
2017-06-24 |
Julien Moutinho | Remove Proxy in Sym instances. |
tree | commitdiff |
2017-06-23 |
Julien Moutinho | Polish for publication. |
tree | commitdiff |
2017-06-22 |
Julien Moutinho | Fix handling of Fixity in showType. |
tree | commitdiff |
2017-06-22 |
Julien Moutinho | Use AllowAmbiguousTypes to avoid Proxy uses. |
tree | commitdiff |
2017-06-22 |
Julien Moutinho | Change Term to be a GADT, to avoid type applications... |
tree | commitdiff |
2017-06-22 |
Julien Moutinho | Fix symantic-lib tests. |
tree | commitdiff |
2017-06-22 |
Julien Moutinho | Remove debugging entry map_f. |
tree | commitdiff |
2017-06-21 |
Julien Moutinho | Bump versions. |
tree | commitdiff |
2017-06-18 |
Julien Moutinho | Improve dynamic insertion of terms (via CtxTy or Modules). |
tree | commitdiff |
2017-06-16 |
Julien Moutinho | Clarification : Megaparsec integration. |
tree | commitdiff |
2017-06-15 |
Julien Moutinho | Improve the module system. |
tree | commitdiff |
2017-06-13 |
Julien Moutinho | Improve handling of metadata in grammars. |
tree | commitdiff |
2017-06-12 |
Julien Moutinho | Massive rewrite to better support rank-1 polymorphic... |
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-09 |
Julien Moutinho | Add compileWithTyCtx. |
tree | commitdiff |
2017-04-01 |
Julien Moutinho | Add support for (>=>). |
tree | commitdiff |
2017-04-01 |
Julien Moutinho | Fix Mono{Foldable,Functor} and {Semi,Is}Sequence constr... |
tree | commitdiff |
2017-03-31 |
Julien Moutinho | Add withContext. |
tree | commitdiff |
2017-03-24 |
Julien Moutinho | Rename grammar rules, prefixing them with g_. |
tree | commitdiff |
2017-03-23 |
Julien Moutinho | Rename Term_Name -> TeName |
tree | commitdiff |
2017-03-14 |
Julien Moutinho | Fix time&space explosion of GHC's typechecker. |
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 | Cosmetic cleanup of GHC flags. |
tree | commitdiff |
2017-03-10 |
Julien Moutinho | Cosmetic cleanup. |
tree | commitdiff |
2017-03-10 |
Julien Moutinho | Fix Inj_ConstP -> Inj_TyConstP. |
tree | commitdiff |
2017-03-10 |
Julien Moutinho | Use AllowAmbiguousTypes to avoid using Proxy. |
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-03-06 |
Julien Moutinho | Gather type declarations and infix declarations. |
tree | commitdiff |
2017-03-06 |
Julien Moutinho | Reduce compile time of tests with -O0 -fmax-simplifier... |
tree | commitdiff |
2017-02-11 |
Julien Moutinho | Split into symantic{,-grammar,-lib}. |
tree | commitdiff |
|