sourcephile / git / haskell / symantic-base.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
doc: improve comment about `Derivable`
[haskell/symantic-base.git] / src / Symantic / Syntaxes /
2023-08-30 Julien Moutinhodoc: improve comment about `Derivable` tree | commitdiff
2023-08-30 Julien Moutinhodoc: rename type variable `able` to `syn` tree | commitdiff
2023-08-30 Julien Moutinhodoc: remove old comments tree | commitdiff
2023-07-17 Julien Moutinhodoc: fix comment about `CurryN` tree | commitdiff
2023-07-17 Julien Moutinhoimpl: fix `(:!:)` completeness warning tree | commitdiff
2023-07-17 Julien Moutinhoiface: add the `a` parameter to the `Dataable` class tree | commitdiff
2023-07-17 Julien Moutinhoiface: remove `ToFer` semantic in favor of `(-->)` tree | commitdiff
2023-07-01 Julien Moutinhoiface: add instance `Eq Endpoint` and `Show Endpoint` tree | commitdiff
2023-06-26 Julien Moutinhoiface: fix `data_` constraints to handle contravariant... tree | commitdiff
2023-01-25 Julien Moutinhoiface: add `Endpoint` tree | commitdiff
2023-01-25 Julien Moutinhoimpl: rename module `ADT` to `EithersOfTuples` tree | commitdiff
2023-01-25 Julien Moutinhoiface: replace `adt` by `dataType`, and support `Tuples... tree | commitdiff
2023-01-25 Julien Moutinhoiface: remove syntax `Routable` 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
Library for basic symantic combinators