]> Git — Sourcephile - haskell/symantic-base.git/history - src/Symantic/Syntaxes/Data.hs
sourcephile / git / haskell / symantic-base.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
iface: add syntax `Abstractable` to semantic `Forall`
[haskell/symantic-base.git] / src / Symantic / Syntaxes / Data.hs
2023-08-30 Julien Moutinhoiface: split syntax `Abstractable` into `Abstractable1... blob | commitdiff | raw
2023-08-30 Julien Moutinhodoc: rename type variable `able` to `syn` blob | commitdiff | raw | diff to current
2023-01-25 Julien Moutinhoiface: add syntax for `either` blob | commitdiff | raw | diff to current
2023-01-25 Julien Moutinhoiface: fix gather in submodules blob | commitdiff | raw | diff to current
2022-11-22 Julien Moutinhoimpl: rename type variable `repr` to `sem` blob | commitdiff | raw | diff to current
2022-11-22 Julien Moutinhoimpl: gather in submodules blob | commitdiff | raw | diff to current
Library for basic symantic combinators