]> Git — Sourcephile - haskell/symantic-base.git/history - src/Symantic/Semantics/ToFer.hs
sourcephile / git / haskell / symantic-base.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
iface: remove `ToFer` semantic in favor of `(-->)`
[haskell/symantic-base.git] / src / Symantic / Semantics / ToFer.hs
2023-07-17 Julien Moutinhoiface: remove `ToFer` semantic in favor of `(-->)` blob | commitdiff | raw
2023-06-26 Julien Moutinhoiface: fix `data_` constraints to handle contravariant... blob | commitdiff | raw
2023-06-20 Julien Moutinhodoc: fix typo in `ToFer` blob | commitdiff | raw | diff to current
2023-01-25 Julien Moutinhoimpl: rename module `ADT` to `EithersOfTuples` blob | commitdiff | raw | diff to current
2023-01-25 Julien Moutinhoiface: replace `adt` by `dataType`, and support `Tuples... blob | commitdiff | raw | diff to current
Library for basic symantic combinators