Git — Sourcephile - haskell/symantic.git/shortlog

]> Git — Sourcephile - haskell/symantic.git/shortlog

sourcephile / git / haskell / symantic.git / shortlog

2017-07-02	Julien Moutinho	Integrate types to the module system.	commit \| commitdiff \| tree \| snapshot
2017-06-28	Julien Moutinho	Remove unused GHC extensions.	commit \| commitdiff \| tree \| snapshot
2017-06-27	Julien Moutinho	Rename inj_* -> *Inj.	commit \| commitdiff \| tree \| snapshot
2017-06-27	Julien Moutinho	Rename source -> withSource, and g_*.	commit \| commitdiff \| tree \| snapshot
2017-06-24	Julien Moutinho	Polish comments.	commit \| commitdiff \| tree \| snapshot
2017-06-24	Julien Moutinho	Remove Proxy in Sym instances.	commit \| commitdiff \| tree \| snapshot
2017-06-23	Julien Moutinho	Polish for publication.	commit \| commitdiff \| tree \| snapshot
2017-06-23	Julien Moutinho	Add make target %/fast.	commit \| commitdiff \| tree \| snapshot
2017-06-23	Julien Moutinho	Add display exception for the list type [].	commit \| commitdiff \| tree \| snapshot
2017-06-23	Julien Moutinho	Fix Dim.	commit \| commitdiff \| tree \| snapshot
2017-06-23	Julien Moutinho	Use symantic-document to write docType.	commit \| commitdiff \| tree \| snapshot
2017-06-22	Julien Moutinho	Add replicate.	commit \| commitdiff \| tree \| snapshot
2017-06-22	Julien Moutinho	Fix handling of Fixity in showType.	commit \| commitdiff \| tree \| snapshot
2017-06-22	Julien Moutinho	Add Config_showType.	commit \| commitdiff \| tree \| snapshot
2017-06-22	Julien Moutinho	Use AllowAmbiguousTypes to avoid Proxy uses.	commit \| commitdiff \| tree \| snapshot
2017-06-22	Julien Moutinho	Change Term to be a GADT, to avoid type applications...	commit \| commitdiff \| tree \| snapshot
2017-06-22	Julien Moutinho	Fix symantic-lib tests.	commit \| commitdiff \| tree \| snapshot
2017-06-22	Julien Moutinho	Fix symantic-grammar test.	commit \| commitdiff \| tree \| snapshot
2017-06-22	Julien Moutinho	Put symantic-document before symantic and symantic...	commit \| commitdiff \| tree \| snapshot
2017-06-22	Julien Moutinho	Remove debugging entry map_f.	commit \| commitdiff \| tree \| snapshot
2017-06-21	Julien Moutinho	Fix description.	commit \| commitdiff \| tree \| snapshot
2017-06-21	Julien Moutinho	Bump versions.	commit \| commitdiff \| tree \| snapshot
2017-06-21	Julien Moutinho	Add symantic-document.	commit \| commitdiff \| tree \| snapshot
2017-06-18	Julien Moutinho	Add some Eq and Show instances.	commit \| commitdiff \| tree \| snapshot
2017-06-18	Julien Moutinho	Improve dynamic insertion of terms (via CtxTy or Modules).	commit \| commitdiff \| tree \| snapshot
2017-06-16	Julien Moutinho	Clarification : Megaparsec integration.	commit \| commitdiff \| tree \| snapshot
2017-06-15	Julien Moutinho	Clarification : eqKi -> eqKind.	commit \| commitdiff \| tree \| snapshot
2017-06-15	Julien Moutinho	Improve the module system.	commit \| commitdiff \| tree \| snapshot
2017-06-13	Julien Moutinho	Improve handling of metadata in grammars.	commit \| commitdiff \| tree \| snapshot
2017-06-12	Julien Moutinho	Support directories as targets in GNUmakefile.	commit \| commitdiff \| tree \| snapshot
2017-06-12	Julien Moutinho	Massive rewrite to better support rank-1 polymorphic...	commit \| commitdiff \| tree \| snapshot
2017-05-11	Julien Moutinho	Try the new Type and Term design against the actual...	commit \| commitdiff \| tree \| snapshot
2017-05-02	Julien Moutinho	Improve Show of Type.	commit \| commitdiff \| tree \| snapshot
2017-05-01	Julien Moutinho	Archive old attempt to remove proto tokens without...	commit \| commitdiff \| tree \| snapshot
2017-05-01	Julien Moutinho	Cleanup dead-end attempts.	commit \| commitdiff \| tree \| snapshot
2017-05-01	Julien Moutinho	Complexify the type system to support rank-1 polymorphi...	commit \| commitdiff \| tree \| snapshot
2017-04-22	Julien Moutinho	Try to implement polymorphic types.	commit \| commitdiff \| tree \| snapshot
2017-04-19	Julien Moutinho	Fix prefix/postfix operators wrt. term application.	commit \| commitdiff \| tree \| snapshot
2017-04-09	Julien Moutinho	Add compileWithTyCtx.	commit \| commitdiff \| tree \| snapshot
2017-04-01	Julien Moutinho	Add support for (>=>).	commit \| commitdiff \| tree \| snapshot
2017-04-01	Julien Moutinho	Add GNUmakefile rule : tag.	commit \| commitdiff \| tree \| snapshot
2017-04-01	Julien Moutinho	Fix Mono{Foldable,Functor} and {Semi,Is}Sequence constr...	commit \| commitdiff \| tree \| snapshot
2017-03-31	Julien Moutinho	Add withContext.	commit \| commitdiff \| tree \| snapshot
2017-03-24	Julien Moutinho	Fix stack clean.	commit \| commitdiff \| tree \| snapshot
2017-03-24	Julien Moutinho	Rename grammar rules, prefixing them with g_.	commit \| commitdiff \| tree \| snapshot
2017-03-23	Julien Moutinho	Rename Term_Name -> TeName	commit \| commitdiff \| tree \| snapshot
2017-03-23	Julien Moutinho	Add IsString instances.	commit \| commitdiff \| tree \| snapshot
2017-03-14	Julien Moutinho	Fix time&space explosion of GHC's typechecker.	commit \| commitdiff \| tree \| snapshot
2017-03-13	Julien Moutinho	Add Lib.{Bounded,Enum,Ratio,Rational,Real,Semigroup}.	commit \| commitdiff \| tree \| snapshot
2017-03-11	Julien Moutinho	Fix comment typo.	commit \| commitdiff \| tree \| snapshot
2017-03-10	Julien Moutinho	Fix lexeme to progress over indented lines.	commit \| commitdiff \| tree \| snapshot
2017-03-10	Julien Moutinho	Renaming Constants -> TyConsts.	commit \| commitdiff \| tree \| snapshot
2017-03-10	Julien Moutinho	Cosmetic cleanup of GHC flags.	commit \| commitdiff \| tree \| snapshot
2017-03-10	Julien Moutinho	Add GNUmakefile.	commit \| commitdiff \| tree \| snapshot
2017-03-10	Julien Moutinho	Cosmetic cleanup.	commit \| commitdiff \| tree \| snapshot
2017-03-10	Julien Moutinho	Fix Inj_ConstP -> Inj_TyConstP.	commit \| commitdiff \| tree \| snapshot
2017-03-10	Julien Moutinho	Use AllowAmbiguousTypes to avoid using Proxy.	commit \| commitdiff \| tree \| snapshot
2017-03-10	Julien Moutinho	Cosmetic cleanup.	commit \| commitdiff \| tree \| snapshot
2017-03-10	Julien Moutinho	Fix empty and eoi.	commit \| commitdiff \| tree \| snapshot
2017-03-10	Julien Moutinho	Backtrack (try) the grammar only when necessary to...	commit \| commitdiff \| tree \| snapshot
2017-03-06	Julien Moutinho	Gather type declarations and infix declarations.	commit \| commitdiff \| tree \| snapshot
2017-03-06	Julien Moutinho	Reduce compile time of tests with -O0 -fmax-simplifier...	commit \| commitdiff \| tree \| snapshot
2017-02-11	Julien Moutinho	Split into symantic{,-grammar,-lib}.	commit \| commitdiff \| tree \| snapshot
2017-02-08	Julien Moutinho	Bump version.	commit \| commitdiff \| tree \| snapshot
2017-02-08	Julien Moutinho	Renames.	commit \| commitdiff \| tree \| snapshot
2017-02-08	Julien Moutinho	Polish doc.	commit \| commitdiff \| tree \| snapshot
2017-02-08	Julien Moutinho	Add optional.	commit \| commitdiff \| tree \| snapshot
2017-02-06	Julien Moutinho	Add stack.yaml.	commit \| commitdiff \| tree \| snapshot
2017-02-06	Julien Moutinho	Update doc.	commit \| commitdiff \| tree \| snapshot
2017-02-04	Julien Moutinho	Fix Lib.Ord : Ordering.	commit \| commitdiff \| tree \| snapshot
2017-02-04	Julien Moutinho	Fix module including.	commit \| commitdiff \| tree \| snapshot
2017-02-03	Julien Moutinho	Use more TypeApplications.	commit \| commitdiff \| tree \| snapshot
2017-02-03	Julien Moutinho	Remove Alternative uses in grammars.	commit \| commitdiff \| tree \| snapshot
2017-02-03	Julien Moutinho	Fix Lib.Text.	commit \| commitdiff \| tree \| snapshot
2017-02-02	Julien Moutinho	Move libraries in Lib.	commit \| commitdiff \| tree \| snapshot
2017-02-02	Julien Moutinho	Add Gram_Term.	commit \| commitdiff \| tree \| snapshot
2017-01-11	Julien Moutinho	Add Parsing.Grammar.	commit \| commitdiff \| tree \| snapshot
2017-01-06	Julien Moutinho	Fix comment typo.	commit \| commitdiff \| tree \| snapshot
2017-01-05	Julien Moutinho	Add Compiling.Alternative.	commit \| commitdiff \| tree \| snapshot
2017-01-05	Julien Moutinho	Renaming textI_app* to textI*.	commit \| commitdiff \| tree \| snapshot
2017-01-05	Julien Moutinho	Clarify names, and add commentaries (bis).	commit \| commitdiff \| tree \| snapshot
2017-01-04	Julien Moutinho	Clarify names, and add commentaries.	commit \| commitdiff \| tree \| snapshot
2017-01-03	Julien Moutinho	Add Compiling.Show.	commit \| commitdiff \| tree \| snapshot
2016-12-31	Julien Moutinho	Add Parsing.Token.	commit \| commitdiff \| tree \| snapshot
2016-12-10	Julien Moutinho	Add Compiling.Sequences.	commit \| commitdiff \| tree \| snapshot
2016-12-10	Julien Moutinho	Add Compiling.NonNull.	commit \| commitdiff \| tree \| snapshot
2016-12-10	Julien Moutinho	Add Compiling.MonoFoldable.	commit \| commitdiff \| tree \| snapshot
2016-12-09	Julien Moutinho	Add Typing.Family and Compiling.MonoFunctor.	commit \| commitdiff \| tree \| snapshot
2016-12-08	Julien Moutinho	Add tests for Compiling.	commit \| commitdiff \| tree \| snapshot
2016-12-07	Julien Moutinho	Fix lambda application.	commit \| commitdiff \| tree \| snapshot
2016-12-07	Julien Moutinho	Use GHC-8.0.1's TypeInType to handle kinds better,...	commit \| commitdiff \| tree \| snapshot
2016-12-04	Julien Moutinho	Add Compiling, Interpreting and Transforming.	commit \| commitdiff \| tree \| snapshot
2016-11-25	Julien Moutinho	Simplify the Constraint projection	commit \| commitdiff \| tree \| snapshot
2016-11-24	Julien Moutinho	Revamp the type system.	commit \| commitdiff \| tree \| snapshot
2016-11-19	Julien Moutinho	factorizing Type1_From ast Type0	commit \| commitdiff \| tree \| snapshot
2016-11-19	Julien Moutinho	polish code	commit \| commitdiff \| tree \| snapshot
2016-11-18	Julien Moutinho	fix Num requiring Integer	commit \| commitdiff \| tree \| snapshot
2016-11-18	Julien Moutinho	Type1_From instances	commit \| commitdiff \| tree \| snapshot
2016-11-18	Julien Moutinho	polish code, Foldable	commit \| commitdiff \| tree \| snapshot
2016-11-17	Julien Moutinho	Repr_Dup helpers	commit \| commitdiff \| tree \| snapshot
next

Library for Typed Tagless-Final Higher-Order Composable DSL

RSS Atom