]> Git — Sourcephile - haskell/symantic-base.git/history - src/Symantic/Semantics/Viewer.hs
impl: add more reductions to `normalOrderReduction`
[haskell/symantic-base.git] / src / Symantic / Semantics / Viewer.hs
2023-09-14 Julien Moutinhoimpl: add more reductions to `normalOrderReduction`
2023-09-07 Julien Moutinhoiface: rename syntax `Functionable` to `Unabstractable`
2023-09-07 Julien Moutinhoiface: rename syntax `Unabstractable` to `Instantiable`
2023-09-07 Julien Moutinhoiface: move `Syntaxes.Data` to `Semantics.Data`
2023-08-30 Julien Moutinhodoc: move description to modules' header
2023-08-30 Julien Moutinhoiface: split syntax `Abstractable` into `Abstractable1...
2023-01-25 Julien Moutinhoiface: add syntax for `either`
2023-01-25 Julien Moutinhoiface: fix gather in submodules
2022-11-22 Julien Moutinhoimpl: gather in submodules