]> Git — Sourcephile - haskell/symantic-base.git/history - src/Symantic/Semantics/Data.hs
sourcephile / git / haskell / symantic-base.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
iface: add data instance `Data (Inferable c)`
[haskell/symantic-base.git] / src / Symantic / Semantics / Data.hs
2023-09-25 Julien Moutinhoiface: add data instance `Data (Inferable c)` blob | commitdiff | raw
2023-09-14 Julien Moutinhoimpl: add more reductions to `normalOrderReduction` blob | commitdiff | raw | diff to current
2023-09-14 Julien Moutinhoimpl: fix `Unabstractable` instance for `SomeData` blob | commitdiff | raw | diff to current
2023-09-07 Julien Moutinhoiface: rename syntax `Functionable` to `Unabstractable` blob | commitdiff | raw | diff to current
2023-09-07 Julien Moutinhoiface: rename syntax `Unabstractable` to `Instantiable` blob | commitdiff | raw | diff to current
2023-09-07 Julien Moutinhoiface: move `Syntaxes.Data` to `Semantics.Data` blob | commitdiff | raw | diff to current
Library for basic symantic combinators