]> Git — Sourcephile - haskell/symantic.git/shortlog
sourcephile / git / haskell / symantic.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
haskell/symantic.git
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
2017-03-14 Julien MoutinhoFix time&space explosion of GHC's typechecker. commit | commitdiff | tree | snapshot
2017-03-13 Julien MoutinhoAdd Lib.{Bounded,Enum,Ratio,Rational,Real,Semigroup}. commit | commitdiff | tree | snapshot
2017-03-11 Julien MoutinhoFix comment typo. commit | commitdiff | tree | snapshot
2017-03-10 Julien MoutinhoFix lexeme to progress over indented lines. commit | commitdiff | tree | snapshot
2017-03-10 Julien MoutinhoRenaming Constants -> TyConsts. commit | commitdiff | tree | snapshot
2017-03-10 Julien MoutinhoCosmetic cleanup of GHC flags. commit | commitdiff | tree | snapshot
2017-03-10 Julien MoutinhoAdd GNUmakefile. commit | commitdiff | tree | snapshot
2017-03-10 Julien MoutinhoCosmetic cleanup. commit | commitdiff | tree | snapshot
2017-03-10 Julien MoutinhoFix Inj_ConstP -> Inj_TyConstP. commit | commitdiff | tree | snapshot
2017-03-10 Julien MoutinhoUse AllowAmbiguousTypes to avoid using Proxy. commit | commitdiff | tree | snapshot
2017-03-10 Julien MoutinhoCosmetic cleanup. commit | commitdiff | tree | snapshot
2017-03-10 Julien MoutinhoFix empty and eoi. commit | commitdiff | tree | snapshot
2017-03-10 Julien MoutinhoBacktrack (try) the grammar only when necessary to... commit | commitdiff | tree | snapshot
2017-03-06 Julien MoutinhoGather type declarations and infix declarations. commit | commitdiff | tree | snapshot
2017-03-06 Julien MoutinhoReduce compile time of tests with -O0 -fmax-simplifier... commit | commitdiff | tree | snapshot
2017-02-11 Julien MoutinhoSplit into symantic{,-grammar,-lib}. commit | commitdiff | tree | snapshot
2017-02-08 Julien MoutinhoBump version. commit | commitdiff | tree | snapshot
2017-02-08 Julien MoutinhoRenames. commit | commitdiff | tree | snapshot
2017-02-08 Julien MoutinhoPolish doc. commit | commitdiff | tree | snapshot
next
Library for Typed Tagless-Final Higher-Order Composable DSL