sourcephile / git / haskell / symantic.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
haskell/symantic.git
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
2017-05-01 Julien MoutinhoArchive old attempt to remove proto tokens without... commit | commitdiff | tree | snapshot
2017-05-01 Julien MoutinhoCleanup dead-end attempts. commit | commitdiff | tree | snapshot
2017-05-01 Julien MoutinhoComplexify the type system to support rank-1 polymorphi... commit | commitdiff | tree | snapshot
2017-04-22 Julien MoutinhoTry to implement polymorphic types. commit | commitdiff | tree | snapshot
2017-04-19 Julien MoutinhoFix prefix/postfix operators wrt. term application. commit | commitdiff | tree | snapshot
2017-04-09 Julien MoutinhoAdd compileWithTyCtx. commit | commitdiff | tree | snapshot
2017-04-01 Julien MoutinhoAdd support for (>=>). commit | commitdiff | tree | snapshot
2017-04-01 Julien MoutinhoAdd GNUmakefile rule : tag. commit | commitdiff | tree | snapshot
2017-04-01 Julien MoutinhoFix Mono{Foldable,Functor} and {Semi,Is}Sequence constr... commit | commitdiff | tree | snapshot
2017-03-31 Julien MoutinhoAdd withContext. commit | commitdiff | tree | snapshot
2017-03-24 Julien MoutinhoFix stack clean. commit | commitdiff | tree | snapshot
2017-03-24 Julien MoutinhoRename grammar rules, prefixing them with g_. commit | commitdiff | tree | snapshot
2017-03-23 Julien MoutinhoRename Term_Name -> TeName commit | commitdiff | tree | snapshot
2017-03-23 Julien MoutinhoAdd IsString instances. commit | commitdiff | tree | snapshot
next
Library for Typed Tagless-Final Higher-Order Composable DSL