]> Git — Sourcephile - haskell/symantic-base.git/history - src/Symantic
build: fix `flake.lock` to use a public Nixpkgs
[haskell/symantic-base.git] / src / Symantic /
2021-10-28 Julien Moutinhoiface: add class `Inferable`
2021-10-28 Julien Moutinhoiface: change `(==)` to curryed form
2021-10-28 Julien Moutinhoiface: add classes `Emptyable` and `Semigroupable`
2021-10-28 Julien Moutinhoiface: move some `Abstractable` methods to `Functionable`
2021-10-28 Julien Moutinhoiface: rename module `Symantic.{Lang => Class}`
2021-10-27 Julien Moutinhoimpl: cleanup formatting a bit
2021-10-27 Julien Moutinhoiface: add instance `Category Iso`
2021-10-27 Julien Moutinhoiface: change to `infixr` classes `ProductFunctor`...
2021-10-27 Julien Moutinhoiface: add `(<.)` and `(.>)` to class `ProductFunctor`
2021-10-27 Julien Moutinhoiface: add class `SumFunctor`
2021-10-27 Julien Moutinhoiface: fix class `Dicurryable`
2021-10-27 Julien Moutinhoimpl: cleanup useless import
2021-10-27 Julien Moutinhoiface: rename term `{def => define}`
2021-10-27 Julien Moutinhoiface: fix class `Voidable`
2021-09-03 Julien Moutinhodoc: typo symantic-base-0.2.0.20210903
2021-09-03 Julien Moutinhodoc: fix nesting of titles
2021-07-31 Julien Moutinhoremove ShowLetName master
2021-07-27 Julien MoutinhoObserveSharing: add tools to analyze mutually recursive... symantic-base-0.2.0.20210726
2021-07-14 Julien MoutinhoMerge Dityped and Typed; Dityped is not necessary for... symantic-base-0.2.0.20210714
2021-07-11 Julien Moutinhocabal: clean up and describe
2021-07-11 Julien Moutinhorename class {Derive => Derivable} symantic-base-0.1.0.20210703
2021-07-11 Julien Moutinhoharmonize deriving and module names
2021-07-11 Julien Moutinhoclean up indentation
2021-07-11 Julien Moutinhoadd Symantic.Typed
2021-07-11 Julien Moutinhorename Symantic.{Base => Dityped}
2020-08-18 Julien Moutinhofix Haddock comments symantic-base-0.0.2.20200708
2020-08-18 Julien Moutinhofix Haddock comments symantic-base-0.0.1.20200708
2020-07-10 Julien Moutinhoadd trans1 and trans2
2020-05-26 Julien Moutinhoinit