]> Git — Sourcephile - haskell/symantic-base.git/commit
sourcephile / git / haskell / symantic-base.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a78205) | patch
iface: add many `Forall` instances main
authorJulien Moutinho <julm@sourcephile.fr>
Wed, 27 Sep 2023 23:48:22 +0000 (01:48 +0200)
committerJulien Moutinho <julm@sourcephile.fr>
Wed, 27 Sep 2023 23:48:32 +0000 (01:48 +0200)
commitec985a3aa9f2fb040fdfe4c8ef22936508389f7d
tree9a8ee794ae6dd4cb16e1fca1959e772b5da84000tree | snapshot
parent4a78205609be221cb1cd1356b8d413368ed984a7commit | diff
iface: add many `Forall` instances
src/Symantic/Semantics/Forall.hs diff | blob | history
Library for basic symantic combinators