Add tar GNUmakefile target.

Fix typo in comments.

Fix README.md location.

Fix many and some.

Add newly discovered acknowledgements.

Add README.md to extra-doc-files.

Bump versions.

Directly parse types to TypeTLen, not Mod NameTy.

Remove dependency on ghc-prim.

Bump versions.

Move the Cabal description to Markdown.

Integrate types to the module system.

Remove unused GHC extensions.

Rename inj_* -> *Inj.

Rename source -> withSource, and g_*.

Polish comments.

Remove Proxy in Sym instances.

Polish for publication.

Add make target %/fast.

Add display exception for the list type [].

Fix Dim.

Use symantic-document to write docType.

Add replicate.

Fix handling of Fixity in showType.

Add Config_showType.

Use AllowAmbiguousTypes to avoid Proxy uses.

Change Term to be a GADT, to avoid type applications and allow TypeOf Term.

Fix symantic-lib tests.

Fix symantic-grammar test.

Put symantic-document before symantic and symantic-lib.

Remove debugging entry map_f.

Fix description.

Bump versions.

Add symantic-document.

Add some Eq and Show instances.

Improve dynamic insertion of terms (via CtxTy or Modules).

Clarification : Megaparsec integration.

Clarification : eqKi -> eqKind.

Improve the module system.

Improve handling of metadata in grammars.

Support directories as targets in GNUmakefile.

Massive rewrite to better support rank-1 polymorphic types.

Try the new Type and Term design against the actual needs.

Improve Show of Type.

Archive old attempt to remove proto tokens without polymorphic types.

Cleanup dead-end attempts.

Complexify the type system to support rank-1 polymorphic types and terms.

With polymorphic types now expressible,
the proto token workaround should be removable,
since every token should now be able to directly have a Type/Term,
thus no longer needing to be applied to a few others before having it.

As a consequence of merging Type and Term,
the symantic machinery will have to be moved to TeSym,
and thus also carried by Type. WIP.

Try to implement polymorphic types.

Fix prefix/postfix operators wrt. term application.

Add compileWithTyCtx.

Add support for (>=>).

Add GNUmakefile rule : tag.

Fix Mono{Foldable,Functor} and {Semi,Is}Sequence constraints.

Cleaner to support the constraints
in the various data types' Proj_TyConC
instead of the constraints'.
For instance, this avoids to require the IO TyConst
when using MonoFunctor.

Add withContext.

Fix stack clean.

Rename grammar rules, prefixing them with g_.

Rename Term_Name -> TeName

Add IsString instances.

Fix time&space explosion of GHC's typechecker.

Add Lib.{Bounded,Enum,Ratio,Rational,Real,Semigroup}.

Fix comment typo.

Fix lexeme to progress over indented lines.

Renaming Constants -> TyConsts.

Cosmetic cleanup of GHC flags.

Add GNUmakefile.

Cosmetic cleanup.

Fix Inj_ConstP -> Inj_TyConstP.

Use AllowAmbiguousTypes to avoid using Proxy.

Cosmetic cleanup.

Fix empty and eoi.

Backtrack (try) the grammar only when necessary to get better error messages.

Gather type declarations and infix declarations.

Reduce compile time of tests with -O0 -fmax-simplifier-iterations=0.

Split into symantic{,-grammar,-lib}.

Bump version.

Renames.

Polish doc.

Add optional.

Add stack.yaml.

Update doc.

Fix Lib.Ord : Ordering.

Fix module including.

Use more TypeApplications.

Remove Alternative uses in grammars.

Fix Lib.Text.

Move libraries in Lib.

Add Gram_Term.

Add Parsing.Grammar.

Fix comment typo.

Add Compiling.Alternative.

Renaming textI_app* to textI*.

Clarify names, and add commentaries (bis).

Clarify names, and add commentaries.

Add Compiling.Show.

Add Parsing.Token.

Add Compiling.Sequences.

Add Compiling.NonNull.

Add Compiling.MonoFoldable.

Add Typing.Family and Compiling.MonoFunctor.

Add tests for Compiling.