]> Git — Sourcephile - haskell/symantic-base.git/history - src/Symantic
sourcephile / git / haskell / symantic-base.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
iface: fix export of `ADT`
[haskell/symantic-base.git] / src / Symantic /
2023-01-25 Julien Moutinhoiface: fix export of `ADT` tree | commitdiff
2023-01-25 Julien Moutinhodoc: fix remaining `<:>` to `<.>` tree | commitdiff
2023-01-25 Julien Moutinhoiface: add syntax for `either` tree | commitdiff
2023-01-25 Julien Moutinhoiface: fix gather in submodules tree | commitdiff
2022-11-22 Julien Moutinhoiface: move `(.@)` into `Unabstractable` tree | commitdiff
2022-11-22 Julien Moutinhoimpl: rename type variable `repr` to `sem` tree | commitdiff
2022-11-22 Julien Moutinhoiface: add syntax `IfSemantic` tree | commitdiff
2022-11-22 Julien Moutinhoimpl: gather in submodules tree | commitdiff
2022-08-23 Julien Moutinhoimpl: fix deprecated `StarIsType` tree | commitdiff
2022-03-07 Julien Moutinhoiface: remove `option`, only `optional` is correct tree | commitdiff
2022-03-07 Julien Moutinhoiface: add interpreter `Reader` tree | commitdiff
2022-02-13 Julien Moutinhodoc: fix typos in comments tree | commitdiff
2021-11-18 Julien Moutinhoiface: rename `Symantic.{View => Viewer}` tree | commitdiff
2021-11-06 Julien Moutinhoiface: rename `Symantic.{ObserveSharing => SharingObser... tree | commitdiff
2021-11-06 Julien Moutinhoiface: rename `Symantic.{Class => Classes}` tree | commitdiff
2021-10-31 Julien Moutinhodoc: fix minor shortcomings tree | commitdiff
2021-10-28 Julien Moutinhoiface: add class `Inferable` tree | commitdiff
2021-10-28 Julien Moutinhoiface: change `(==)` to curryed form tree | commitdiff
2021-10-28 Julien Moutinhoiface: add classes `Emptyable` and `Semigroupable` tree | commitdiff
2021-10-28 Julien Moutinhoiface: move some `Abstractable` methods to `Functionable` tree | commitdiff
2021-10-28 Julien Moutinhoiface: rename module `Symantic.{Lang => Class}` tree | commitdiff
2021-10-27 Julien Moutinhoimpl: cleanup formatting a bit tree | commitdiff
2021-10-27 Julien Moutinhoiface: add instance `Category Iso` tree | commitdiff
2021-10-27 Julien Moutinhoiface: change to `infixr` classes `ProductFunctor`... tree | commitdiff
2021-10-27 Julien Moutinhoiface: add `(<.)` and `(.>)` to class `ProductFunctor` tree | commitdiff
2021-10-27 Julien Moutinhoiface: add class `SumFunctor` tree | commitdiff
2021-10-27 Julien Moutinhoiface: fix class `Dicurryable` tree | commitdiff
2021-10-27 Julien Moutinhoimpl: cleanup useless import tree | commitdiff
2021-10-27 Julien Moutinhoiface: rename term `{def => define}` tree | commitdiff
2021-10-27 Julien Moutinhoiface: fix class `Voidable` tree | commitdiff
2021-09-03 Julien Moutinhodoc: typo symantic-base-0.2.0.20210903 tree | commitdiff
2021-09-03 Julien Moutinhodoc: fix nesting of titles tree | commitdiff
2021-07-31 Julien Moutinhoremove ShowLetName master tree | commitdiff
2021-07-27 Julien MoutinhoObserveSharing: add tools to analyze mutually recursive... symantic-base-0.2.0.20210726 tree | commitdiff
2021-07-14 Julien MoutinhoMerge Dityped and Typed; Dityped is not necessary for... symantic-base-0.2.0.20210714 tree | commitdiff
2021-07-11 Julien Moutinhocabal: clean up and describe tree | commitdiff
2021-07-11 Julien Moutinhorename class {Derive => Derivable} symantic-base-0.1.0.20210703 tree | commitdiff
2021-07-11 Julien Moutinhoharmonize deriving and module names tree | commitdiff
2021-07-11 Julien Moutinhoclean up indentation tree | commitdiff
2021-07-11 Julien Moutinhoadd Symantic.Typed tree | commitdiff
2021-07-11 Julien Moutinhorename Symantic.{Base => Dityped} tree | commitdiff
2020-08-18 Julien Moutinhofix Haddock comments symantic-base-0.0.2.20200708 tree | commitdiff
2020-08-18 Julien Moutinhofix Haddock comments symantic-base-0.0.1.20200708 tree | commitdiff
2020-07-10 Julien Moutinhoadd trans1 and trans2 tree | commitdiff
2020-05-26 Julien Moutinhoinit tree | commitdiff
Library for basic symantic combinators