]> Git — Sourcephile - haskell/symantic-base.git/history - src/Symantic/Semantics/Forall.hs
sourcephile / git / haskell / symantic-base.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
iface: split syntax `Abstractable` into `Abstractable1` and `Varable`
[haskell/symantic-base.git] / src / Symantic / Semantics / Forall.hs
2023-08-30 Julien Moutinhoiface: add semantic `Forall` blob | commitdiff | raw
Library for basic symantic combinators