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 |
2017-03-14 |
Julien Moutinho | Fix time&space explosion of GHC's typechecker. |
commit | commitdiff | tree | snapshot |
2017-03-13 |
Julien Moutinho | Add Lib.{Bounded,Enum,Ratio,Rational,Real,Semigroup}. |
commit | commitdiff | tree | snapshot |
2017-03-11 |
Julien Moutinho | Fix comment typo. |
commit | commitdiff | tree | snapshot |
next |