stack: bump to lts-12.25

grammar: rename At -> Sourced

Clarify a few names in Grammar.Fixity.

Add common instances to Interpreting.Dup.

Move symantic-cli to its own Git repository.

Polish cabal-version: as suggested by stack.

Support GHC-8.4.3.

Polish comment.

Improve help rendition.

Fix Dim.

Fix endToEndWidth.

Add Trans defaults.

Add symantic-cli.

Remove useless file.

Add Splitable.

Rename buildTerm -> runTerm.

Add unwords and unlines.

Polish symantic-document.

Renames in symantic-document.

Add indent.

Add missing HLint.hs.

Fix breakableFill: do not impose alignment.

Fix writeSGR on/off.

Bump versions.

Sync symantic with symantic-document.

Add Language.Symantic.Document (again).

Rename Dim -> Dimension.

Use Nat, instead of convoluted type families.

Rename things such that symantic-document is neater when used with import qualified.

Add colorable and decorable.

Reorganize symantic-document modules.

Fix breakableFill.

Improve Doc_Align and Doc_Wrap.

Add Doc_Align and Doc_Wrap.

Massage .cabal files.

Remove unused dependencies.

Separate tests into test/.

Add lower version bounds to all dependencies.

Sync with ghc-8.2.2 and megaparsec-6.3.0.

Add infix operators to HLint.

Bump versions.

Rename grammar rules.

Add TyApp pattern synonyms (:$) and (:@).

Remove need for space after infix operator.

Add term Function.($).

Bump stack resolver to lts-9.0.

Fix skipMany -> manySkip renaming.

Make stack flags customizable in GNUmakefile.

Bump symantic version.

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 (>=>).