| 2017-06-12 |
Julien Moutinho | Massive rewrite to better support rank-1 polymorphic... |
| commitdiff |
| 2017-05-11 |
Julien Moutinho | Try the new Type and Term design against the actual... |
| commitdiff |
| 2017-05-02 |
Julien Moutinho | Improve Show of Type. |
| commitdiff |
| 2017-05-01 |
Julien Moutinho | Archive old attempt to remove proto tokens without... |
| commitdiff |
| 2017-05-01 |
Julien Moutinho | Cleanup dead-end attempts. |
| commitdiff |
| 2017-05-01 |
Julien Moutinho | Complexify the type system to support rank-1 polymorphi... |
| commitdiff |
| 2017-04-22 |
Julien Moutinho | Try to implement polymorphic types. |
| commitdiff |
| 2017-04-19 |
Julien Moutinho | Fix prefix/postfix operators wrt. term application. |
| commitdiff |
| 2017-04-09 |
Julien Moutinho | Add compileWithTyCtx. |
| commitdiff |
| 2017-04-01 |
Julien Moutinho | Add support for (>=>). |
| commitdiff |
| 2017-04-01 |
Julien Moutinho | Add GNUmakefile rule : tag. |
| commitdiff |
| 2017-04-01 |
Julien Moutinho | Fix Mono{Foldable,Functor} and {Semi,Is}Sequence constr... |
| commitdiff |
| 2017-03-31 |
Julien Moutinho | Add withContext. |
| commitdiff |
| 2017-03-24 |
Julien Moutinho | Fix stack clean. |
| commitdiff |
| 2017-03-24 |
Julien Moutinho | Rename grammar rules, prefixing them with g_. |
| commitdiff |
| 2017-03-23 |
Julien Moutinho | Rename Term_Name -> TeName |
| commitdiff |
| 2017-03-23 |
Julien Moutinho | Add IsString instances. |
| commitdiff |
| 2017-03-14 |
Julien Moutinho | Fix time&space explosion of GHC's typechecker. |
| commitdiff |
| 2017-03-13 |
Julien Moutinho | Add Lib.{Bounded,Enum,Ratio,Rational,Real,Semigroup}. |
| commitdiff |
| 2017-03-11 |
Julien Moutinho | Fix comment typo. |
| commitdiff |
| 2017-03-10 |
Julien Moutinho | Fix lexeme to progress over indented lines. |
| commitdiff |
| 2017-03-10 |
Julien Moutinho | Renaming Constants -> TyConsts. |
| commitdiff |
| 2017-03-10 |
Julien Moutinho | Cosmetic cleanup of GHC flags. |
| commitdiff |
| 2017-03-10 |
Julien Moutinho | Add GNUmakefile. |
| commitdiff |
| 2017-03-10 |
Julien Moutinho | Cosmetic cleanup. |
| commitdiff |
| 2017-03-10 |
Julien Moutinho | Fix Inj_ConstP -> Inj_TyConstP. |
| commitdiff |
| 2017-03-10 |
Julien Moutinho | Use AllowAmbiguousTypes to avoid using Proxy. |
| commitdiff |
| 2017-03-10 |
Julien Moutinho | Cosmetic cleanup. |
| commitdiff |
| 2017-03-10 |
Julien Moutinho | Fix empty and eoi. |
| commitdiff |
| 2017-03-10 |
Julien Moutinho | Backtrack (try) the grammar only when necessary to... |
| commitdiff |
| 2017-03-06 |
Julien Moutinho | Gather type declarations and infix declarations. |
| commitdiff |
| 2017-03-06 |
Julien Moutinho | Reduce compile time of tests with -O0 -fmax-simplifier... |
| commitdiff |
| 2017-02-11 |
Julien Moutinho | Split into symantic{,-grammar,-lib}. |
| commitdiff |
| 2017-02-08 |
Julien Moutinho | Bump version. |
| commitdiff |
| 2017-02-08 |
Julien Moutinho | Renames. |
| commitdiff |
| 2017-02-08 |
Julien Moutinho | Polish doc. |
| commitdiff |
| 2017-02-08 |
Julien Moutinho | Add optional. |
| commitdiff |
| 2017-02-06 |
Julien Moutinho | Add stack.yaml. |
| commitdiff |
| 2017-02-06 |
Julien Moutinho | Update doc. |
| commitdiff |
| 2017-02-04 |
Julien Moutinho | Fix Lib.Ord : Ordering. |
| commitdiff |
| 2017-02-04 |
Julien Moutinho | Fix module including. |
| commitdiff |
| 2017-02-03 |
Julien Moutinho | Use more TypeApplications. |
| commitdiff |
| 2017-02-03 |
Julien Moutinho | Remove Alternative uses in grammars. |
| commitdiff |
| 2017-02-03 |
Julien Moutinho | Fix Lib.Text. |
| commitdiff |
| 2017-02-02 |
Julien Moutinho | Move libraries in Lib. |
| commitdiff |
| 2017-02-02 |
Julien Moutinho | Add Gram_Term. |
| commitdiff |
| 2017-01-11 |
Julien Moutinho | Add Parsing.Grammar. |
| commitdiff |
| 2017-01-06 |
Julien Moutinho | Fix comment typo. |
| commitdiff |
| 2017-01-05 |
Julien Moutinho | Add Compiling.Alternative. |
| commitdiff |
| 2017-01-05 |
Julien Moutinho | Renaming textI_app* to textI*. |
| commitdiff |
| 2017-01-05 |
Julien Moutinho | Clarify names, and add commentaries (bis). |
| commitdiff |
| 2017-01-04 |
Julien Moutinho | Clarify names, and add commentaries. |
| commitdiff |
| 2017-01-03 |
Julien Moutinho | Add Compiling.Show. |
| commitdiff |
| 2016-12-31 |
Julien Moutinho | Add Parsing.Token. |
| commitdiff |
| 2016-12-10 |
Julien Moutinho | Add Compiling.Sequences. |
| commitdiff |
| 2016-12-10 |
Julien Moutinho | Add Compiling.NonNull. |
| commitdiff |
| 2016-12-10 |
Julien Moutinho | Add Compiling.MonoFoldable. |
| commitdiff |
| 2016-12-09 |
Julien Moutinho | Add Typing.Family and Compiling.MonoFunctor. |
| commitdiff |
| 2016-12-08 |
Julien Moutinho | Add tests for Compiling. |
| commitdiff |
| 2016-12-07 |
Julien Moutinho | Fix lambda application. |
| commitdiff |
| 2016-12-07 |
Julien Moutinho | Use GHC-8.0.1's TypeInType to handle kinds better,... |
| commitdiff |
| 2016-12-04 |
Julien Moutinho | Add Compiling, Interpreting and Transforming. |
| commitdiff |
| 2016-11-25 |
Julien Moutinho | Simplify the Constraint projection |
| commitdiff |
| 2016-11-24 |
Julien Moutinho | Revamp the type system. |
| commitdiff |
| 2016-11-19 |
Julien Moutinho | factorizing Type1_From ast Type0 |
| commitdiff |
| 2016-11-19 |
Julien Moutinho | polish code |
| commitdiff |
| 2016-11-18 |
Julien Moutinho | fix Num requiring Integer |
| commitdiff |
| 2016-11-18 |
Julien Moutinho | Type1_From instances |
| commitdiff |
| 2016-11-18 |
Julien Moutinho | polish code, Foldable |
| commitdiff |
| 2016-11-17 |
Julien Moutinho | Repr_Dup helpers |
| commitdiff |
| 2016-11-16 |
Julien Moutinho | Foldable, Num |
| commitdiff |
| 2016-11-16 |
Julien Moutinho | explore parsing of partially applied functions |
| commitdiff |
| 2016-11-14 |
Julien Moutinho | polish names |
| commitdiff |
| 2016-11-14 |
Julien Moutinho | Eq, Ord |
| commitdiff |
| 2016-11-14 |
Julien Moutinho | polish names |
| commitdiff |
| 2016-11-14 |
Julien Moutinho | MonoFunctor |
| commitdiff |
| 2016-11-12 |
Julien Moutinho | revamp Repr/* |
| commitdiff |
| 2016-11-12 |
Julien Moutinho | Integer, Integral, Num |
| commitdiff |
| 2016-11-11 |
Julien Moutinho | Map |
| commitdiff |
| 2016-11-10 |
Julien Moutinho | fix (->) by removing inline/val/lazy |
| commitdiff |
| 2016-11-02 |
Julien Moutinho | IO, Monoid, Foldable, Text |
| commitdiff |
| 2016-10-31 |
Julien Moutinho | Monad |
| commitdiff |
| 2016-10-30 |
Julien Moutinho | remove old files |
| commitdiff |
| 2016-10-30 |
Julien Moutinho | init |
| commitdiff |
| 2016-10-30 |
Julien Moutinho | init |
| commitdiff |
| 2016-10-27 |
Julien Moutinho | init |
| commitdiff |
| 2016-10-27 |
Julien Moutinho | init |
| commitdiff |
| 2016-10-27 |
Julien Moutinho | init |
| commitdiff |
| 2016-10-26 |
Julien Moutinho | init |
| commitdiff |
| 2016-10-25 |
Julien Moutinho | init |
| commitdiff |
| 2016-10-25 |
Julien Moutinho | init |
| commitdiff |
| 2016-10-25 |
Julien Moutinho | init |
| commitdiff |
| 2016-10-25 |
Julien Moutinho | init |
| commitdiff |
| 2016-10-23 |
Julien Moutinho | init |
| commitdiff |
| 2016-10-23 |
Julien Moutinho | init |
| commitdiff |
| 2016-10-23 |
Julien Moutinho | init |
| commitdiff |
| 2016-10-23 |
Julien Moutinho | init |
| commitdiff |
| 2016-10-20 |
Julien Moutinho | init |
| commitdiff |
| 2016-10-18 |
Julien Moutinho | init |
| commitdiff |
| 2016-10-18 |
Julien Moutinho | init |
| commitdiff |
| next |
sourcephile / git / haskell / symantic.git / history