]> Git — Sourcephile - haskell/symantic-base.git/commit
impl: add more reductions to `normalOrderReduction`
authorJulien Moutinho <julm@sourcephile.fr>
Thu, 14 Sep 2023 14:22:45 +0000 (16:22 +0200)
committerJulien Moutinho <julm@sourcephile.fr>
Thu, 14 Sep 2023 23:26:21 +0000 (01:26 +0200)
commit6c2e53ff8b78ca1330007404e28eea7bcd7ac907
treec832ae1525b5530c2a8e333ec5fa16e794e3cd22
parent0e587e0525ec5ce2e49cb6e0c9b5271fb1225cd8
impl: add more reductions to `normalOrderReduction`
src/Symantic/Semantics/Data.hs
src/Symantic/Semantics/Viewer.hs