Git — Sourcephile - haskell/symantic.git/shortlog

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

sourcephile / git / haskell / symantic.git / shortlog

2018-06-04	Julien Moutinho	Polish comment.	commit \| commitdiff \| tree \| snapshot
2018-06-04	Julien Moutinho	Improve help rendition.	commit \| commitdiff \| tree \| snapshot
2018-04-09	Julien Moutinho	Fix Dim.	commit \| commitdiff \| tree \| snapshot
2018-04-08	Julien Moutinho	Fix endToEndWidth.	commit \| commitdiff \| tree \| snapshot
2018-04-08	Julien Moutinho	Add Trans defaults.	commit \| commitdiff \| tree \| snapshot
2018-04-08	Julien Moutinho	Add symantic-cli.	commit \| commitdiff \| tree \| snapshot
2018-04-06	Julien Moutinho	Remove useless file.	commit \| commitdiff \| tree \| snapshot
2018-04-02	Julien Moutinho	Add Splitable.	commit \| commitdiff \| tree \| snapshot
2018-03-31	Julien Moutinho	Rename buildTerm -> runTerm.	commit \| commitdiff \| tree \| snapshot
2018-03-31	Julien Moutinho	Add unwords and unlines.	commit \| commitdiff \| tree \| snapshot
2018-03-12	Julien Moutinho	Polish symantic-document.	commit \| commitdiff \| tree \| snapshot
2018-03-09	Julien Moutinho	Renames in symantic-document.	commit \| commitdiff \| tree \| snapshot
2018-03-09	Julien Moutinho	Add indent.	commit \| commitdiff \| tree \| snapshot
2018-03-08	Julien Moutinho	Add missing HLint.hs.	commit \| commitdiff \| tree \| snapshot
2018-03-08	Julien Moutinho	Fix breakableFill: do not impose alignment.	commit \| commitdiff \| tree \| snapshot
2018-03-08	Julien Moutinho	Fix writeSGR on/off.	commit \| commitdiff \| tree \| snapshot
2018-03-08	Julien Moutinho	Bump versions.	commit \| commitdiff \| tree \| snapshot
2018-03-08	Julien Moutinho	Sync symantic with symantic-document.	commit \| commitdiff \| tree \| snapshot
2018-03-08	Julien Moutinho	Add Language.Symantic.Document (again).	commit \| commitdiff \| tree \| snapshot
2018-03-08	Julien Moutinho	Rename Dim -> Dimension.	commit \| commitdiff \| tree \| snapshot
2018-03-08	Julien Moutinho	Use Nat, instead of convoluted type families.	commit \| commitdiff \| tree \| snapshot
2018-03-08	Julien Moutinho	Rename things such that symantic-document is neater...	commit \| commitdiff \| tree \| snapshot
2018-03-08	Julien Moutinho	Add colorable and decorable.	commit \| commitdiff \| tree \| snapshot
2018-03-07	Julien Moutinho	Reorganize symantic-document modules.	commit \| commitdiff \| tree \| snapshot
2018-03-06	Julien Moutinho	Fix breakableFill.	commit \| commitdiff \| tree \| snapshot
2018-03-06	Julien Moutinho	Improve Doc_Align and Doc_Wrap.	commit \| commitdiff \| tree \| snapshot
2018-03-05	Julien Moutinho	Add Doc_Align and Doc_Wrap.	commit \| commitdiff \| tree \| snapshot
2018-02-14	Julien Moutinho	Massage .cabal files.	commit \| commitdiff \| tree \| snapshot
2018-02-13	Julien Moutinho	Remove unused dependencies.	commit \| commitdiff \| tree \| snapshot
2018-02-13	Julien Moutinho	Separate tests into test/.	commit \| commitdiff \| tree \| snapshot
2018-02-13	Julien Moutinho	Add lower version bounds to all dependencies.	commit \| commitdiff \| tree \| snapshot
2018-02-13	Julien Moutinho	Sync with ghc-8.2.2 and megaparsec-6.3.0.	commit \| commitdiff \| tree \| snapshot
2017-08-19	Julien Moutinho	Add infix operators to HLint.	commit \| commitdiff \| tree \| snapshot
2017-08-18	Julien Moutinho	Bump versions.	commit \| commitdiff \| tree \| snapshot
2017-08-18	Julien Moutinho	Rename grammar rules.	commit \| commitdiff \| tree \| snapshot
2017-08-18	Julien Moutinho	Add TyApp pattern synonyms (:$) and (:@).	commit \| commitdiff \| tree \| snapshot
2017-08-18	Julien Moutinho	Remove need for space after infix operator.	commit \| commitdiff \| tree \| snapshot
2017-08-15	Julien Moutinho	Add term Function.($).	commit \| commitdiff \| tree \| snapshot
2017-08-15	Julien Moutinho	Bump stack resolver to lts-9.0.	commit \| commitdiff \| tree \| snapshot
2017-08-15	Julien Moutinho	Fix skipMany -> manySkip renaming.	commit \| commitdiff \| tree \| snapshot
2017-08-15	Julien Moutinho	Make stack flags customizable in GNUmakefile.	commit \| commitdiff \| tree \| snapshot
2017-08-07	Julien Moutinho	Bump symantic version.	commit \| commitdiff \| tree \| snapshot
2017-08-07	Julien Moutinho	Add tar GNUmakefile target.	commit \| commitdiff \| tree \| snapshot
2017-08-02	Julien Moutinho	Fix typo in comments.	commit \| commitdiff \| tree \| snapshot
2017-08-02	Julien Moutinho	Fix README.md location.	commit \| commitdiff \| tree \| snapshot
2017-07-09	Julien Moutinho	Fix many and some.	commit \| commitdiff \| tree \| snapshot
2017-07-07	Julien Moutinho	Add newly discovered acknowledgements.	commit \| commitdiff \| tree \| snapshot
2017-07-03	Julien Moutinho	Add README.md to extra-doc-files.	commit \| commitdiff \| tree \| snapshot
2017-07-03	Julien Moutinho	Bump versions.	commit \| commitdiff \| tree \| snapshot
2017-07-03	Julien Moutinho	Directly parse types to TypeTLen, not Mod NameTy.	commit \| commitdiff \| tree \| snapshot
2017-07-02	Julien Moutinho	Remove dependency on ghc-prim.	commit \| commitdiff \| tree \| snapshot
2017-07-02	Julien Moutinho	Bump versions.	commit \| commitdiff \| tree \| snapshot
2017-07-02	Julien Moutinho	Move the Cabal description to Markdown.	commit \| commitdiff \| tree \| snapshot
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
next

Library for Typed Tagless-Final Higher-Order Composable DSL

RSS Atom