sourcephile / git / haskell / symantic.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
haskell/symantic.git
2019-06-14 Julien MoutinhoMove symantic-document to its own Git repository. commit | commitdiff | tree | snapshot
2019-05-31 Julien Moutinhodocument: avoid name collisions commit | commitdiff | tree | snapshot
2019-05-24 Julien Moutinhodocument: bump version commit | commitdiff | tree | snapshot
2019-05-24 Julien Moutinhodocument: use new names for Trans methods commit | commitdiff | tree | snapshot
2019-05-24 Julien Moutinhodocument: remove Language. prefix in module names commit | commitdiff | tree | snapshot
2019-05-23 Julien Moutinhostack: bump to lts-13.19 commit | commitdiff | tree | snapshot
2018-12-23 Julien Moutinhocabal: bump GHC version commit | commitdiff | tree | snapshot
2018-12-23 Julien Moutinhostack: bump to lts-12.25 commit | commitdiff | tree | snapshot
2018-12-23 Julien Moutinhogrammar: rename At -> Sourced commit | commitdiff | tree | snapshot
2018-11-09 Julien MoutinhoClarify a few names in Grammar.Fixity. commit | commitdiff | tree | snapshot
2018-11-09 Julien MoutinhoAdd common instances to Interpreting.Dup. commit | commitdiff | tree | snapshot
2018-11-09 Julien MoutinhoMove symantic-cli to its own Git repository. commit | commitdiff | tree | snapshot
2018-08-31 Julien MoutinhoPolish cabal-version: as suggested by stack. commit | commitdiff | tree | snapshot
2018-08-31 Julien MoutinhoSupport GHC-8.4.3. commit | commitdiff | tree | snapshot
2018-06-04 Julien MoutinhoPolish comment. commit | commitdiff | tree | snapshot
2018-06-04 Julien MoutinhoImprove help rendition. commit | commitdiff | tree | snapshot
2018-04-09 Julien MoutinhoFix Dim. commit | commitdiff | tree | snapshot
2018-04-08 Julien MoutinhoFix endToEndWidth. commit | commitdiff | tree | snapshot
2018-04-08 Julien MoutinhoAdd Trans defaults. commit | commitdiff | tree | snapshot
2018-04-08 Julien MoutinhoAdd symantic-cli. commit | commitdiff | tree | snapshot
2018-04-06 Julien MoutinhoRemove useless file. commit | commitdiff | tree | snapshot
2018-04-02 Julien MoutinhoAdd Splitable. commit | commitdiff | tree | snapshot
2018-03-31 Julien MoutinhoRename buildTerm -> runTerm. commit | commitdiff | tree | snapshot
2018-03-31 Julien MoutinhoAdd unwords and unlines. commit | commitdiff | tree | snapshot
2018-03-12 Julien MoutinhoPolish symantic-document. commit | commitdiff | tree | snapshot
2018-03-09 Julien MoutinhoRenames in symantic-document. commit | commitdiff | tree | snapshot
2018-03-09 Julien MoutinhoAdd indent. commit | commitdiff | tree | snapshot
2018-03-08 Julien MoutinhoAdd missing HLint.hs. commit | commitdiff | tree | snapshot
2018-03-08 Julien MoutinhoFix breakableFill: do not impose alignment. commit | commitdiff | tree | snapshot
2018-03-08 Julien MoutinhoFix writeSGR on/off. commit | commitdiff | tree | snapshot
2018-03-08 Julien MoutinhoBump versions. commit | commitdiff | tree | snapshot
2018-03-08 Julien MoutinhoSync symantic with symantic-document. commit | commitdiff | tree | snapshot
2018-03-08 Julien MoutinhoAdd Language.Symantic.Document (again). commit | commitdiff | tree | snapshot
2018-03-08 Julien MoutinhoRename Dim -> Dimension. commit | commitdiff | tree | snapshot
2018-03-08 Julien MoutinhoUse Nat, instead of convoluted type families. commit | commitdiff | tree | snapshot
2018-03-08 Julien MoutinhoRename things such that symantic-document is neater... commit | commitdiff | tree | snapshot
2018-03-08 Julien MoutinhoAdd colorable and decorable. commit | commitdiff | tree | snapshot
2018-03-07 Julien MoutinhoReorganize symantic-document modules. commit | commitdiff | tree | snapshot
2018-03-06 Julien MoutinhoFix breakableFill. commit | commitdiff | tree | snapshot
2018-03-06 Julien MoutinhoImprove Doc_Align and Doc_Wrap. commit | commitdiff | tree | snapshot
2018-03-05 Julien MoutinhoAdd Doc_Align and Doc_Wrap. commit | commitdiff | tree | snapshot
2018-02-14 Julien MoutinhoMassage .cabal files. commit | commitdiff | tree | snapshot
2018-02-13 Julien MoutinhoRemove unused dependencies. commit | commitdiff | tree | snapshot
2018-02-13 Julien MoutinhoSeparate tests into test/. commit | commitdiff | tree | snapshot
2018-02-13 Julien MoutinhoAdd lower version bounds to all dependencies. commit | commitdiff | tree | snapshot
2018-02-13 Julien MoutinhoSync with ghc-8.2.2 and megaparsec-6.3.0. commit | commitdiff | tree | snapshot
2017-08-19 Julien MoutinhoAdd infix operators to HLint. commit | commitdiff | tree | snapshot
2017-08-18 Julien MoutinhoBump versions. commit | commitdiff | tree | snapshot
2017-08-18 Julien MoutinhoRename grammar rules. commit | commitdiff | tree | snapshot
2017-08-18 Julien MoutinhoAdd TyApp pattern synonyms (:$) and (:@). commit | commitdiff | tree | snapshot
2017-08-18 Julien MoutinhoRemove need for space after infix operator. commit | commitdiff | tree | snapshot
2017-08-15 Julien MoutinhoAdd term Function.($). commit | commitdiff | tree | snapshot
2017-08-15 Julien MoutinhoBump stack resolver to lts-9.0. commit | commitdiff | tree | snapshot
2017-08-15 Julien MoutinhoFix skipMany -> manySkip renaming. commit | commitdiff | tree | snapshot
2017-08-15 Julien MoutinhoMake stack flags customizable in GNUmakefile. commit | commitdiff | tree | snapshot
2017-08-07 Julien MoutinhoBump symantic version. commit | commitdiff | tree | snapshot
2017-08-07 Julien MoutinhoAdd tar GNUmakefile target. commit | commitdiff | tree | snapshot
2017-08-02 Julien MoutinhoFix typo in comments. commit | commitdiff | tree | snapshot
2017-08-02 Julien MoutinhoFix README.md location. commit | commitdiff | tree | snapshot
2017-07-09 Julien MoutinhoFix many and some. commit | commitdiff | tree | snapshot
2017-07-07 Julien MoutinhoAdd newly discovered acknowledgements. commit | commitdiff | tree | snapshot
2017-07-03 Julien MoutinhoAdd README.md to extra-doc-files. commit | commitdiff | tree | snapshot
2017-07-03 Julien MoutinhoBump versions. commit | commitdiff | tree | snapshot
2017-07-03 Julien MoutinhoDirectly parse types to TypeTLen, not Mod NameTy. commit | commitdiff | tree | snapshot
2017-07-02 Julien MoutinhoRemove dependency on ghc-prim. commit | commitdiff | tree | snapshot
2017-07-02 Julien MoutinhoBump versions. commit | commitdiff | tree | snapshot
2017-07-02 Julien MoutinhoMove the Cabal description to Markdown. commit | commitdiff | tree | snapshot
2017-07-02 Julien MoutinhoIntegrate types to the module system. commit | commitdiff | tree | snapshot
2017-06-28 Julien MoutinhoRemove unused GHC extensions. commit | commitdiff | tree | snapshot
2017-06-27 Julien MoutinhoRename inj_* -> *Inj. commit | commitdiff | tree | snapshot
2017-06-27 Julien MoutinhoRename source -> withSource, and g_*. commit | commitdiff | tree | snapshot
2017-06-24 Julien MoutinhoPolish comments. commit | commitdiff | tree | snapshot
2017-06-24 Julien MoutinhoRemove Proxy in Sym instances. commit | commitdiff | tree | snapshot
2017-06-23 Julien MoutinhoPolish for publication. commit | commitdiff | tree | snapshot
2017-06-23 Julien MoutinhoAdd make target %/fast. commit | commitdiff | tree | snapshot
2017-06-23 Julien MoutinhoAdd display exception for the list type []. commit | commitdiff | tree | snapshot
2017-06-23 Julien MoutinhoFix Dim. commit | commitdiff | tree | snapshot
2017-06-23 Julien MoutinhoUse symantic-document to write docType. commit | commitdiff | tree | snapshot
2017-06-22 Julien MoutinhoAdd replicate. commit | commitdiff | tree | snapshot
2017-06-22 Julien MoutinhoFix handling of Fixity in showType. commit | commitdiff | tree | snapshot
2017-06-22 Julien MoutinhoAdd Config_showType. commit | commitdiff | tree | snapshot
2017-06-22 Julien MoutinhoUse AllowAmbiguousTypes to avoid Proxy uses. commit | commitdiff | tree | snapshot
2017-06-22 Julien MoutinhoChange Term to be a GADT, to avoid type applications... commit | commitdiff | tree | snapshot
2017-06-22 Julien MoutinhoFix symantic-lib tests. commit | commitdiff | tree | snapshot
2017-06-22 Julien MoutinhoFix symantic-grammar test. commit | commitdiff | tree | snapshot
2017-06-22 Julien MoutinhoPut symantic-document before symantic and symantic... commit | commitdiff | tree | snapshot
2017-06-22 Julien MoutinhoRemove debugging entry map_f. commit | commitdiff | tree | snapshot
2017-06-21 Julien MoutinhoFix description. commit | commitdiff | tree | snapshot
2017-06-21 Julien MoutinhoBump versions. commit | commitdiff | tree | snapshot
2017-06-21 Julien MoutinhoAdd symantic-document. commit | commitdiff | tree | snapshot
2017-06-18 Julien MoutinhoAdd some Eq and Show instances. commit | commitdiff | tree | snapshot
2017-06-18 Julien MoutinhoImprove dynamic insertion of terms (via CtxTy or Modules). commit | commitdiff | tree | snapshot
2017-06-16 Julien MoutinhoClarification : Megaparsec integration. commit | commitdiff | tree | snapshot
2017-06-15 Julien MoutinhoClarification : eqKi -> eqKind. commit | commitdiff | tree | snapshot
2017-06-15 Julien MoutinhoImprove the module system. commit | commitdiff | tree | snapshot
2017-06-13 Julien MoutinhoImprove handling of metadata in grammars. commit | commitdiff | tree | snapshot
2017-06-12 Julien MoutinhoSupport directories as targets in GNUmakefile. commit | commitdiff | tree | snapshot
2017-06-12 Julien MoutinhoMassive rewrite to better support rank-1 polymorphic... commit | commitdiff | tree | snapshot
2017-05-11 Julien MoutinhoTry the new Type and Term design against the actual... commit | commitdiff | tree | snapshot
2017-05-02 Julien MoutinhoImprove Show of Type. commit | commitdiff | tree | snapshot
next
Library for Typed Tagless-Final Higher-Order Composable DSL