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