]> Git — Sourcephile - haskell/symantic-base.git/commit
iface: rename syntax `Functionable` to `Unabstractable`
authorJulien Moutinho <julm@sourcephile.fr>
Mon, 4 Sep 2023 23:11:39 +0000 (01:11 +0200)
committerJulien Moutinho <julm@sourcephile.fr>
Thu, 7 Sep 2023 23:46:03 +0000 (01:46 +0200)
commit0d3539676f7c7316ef688c4fda92e5aae39a42cd
tree1545771da0ff87abc0d0694b32dbb184ab9c6e2b
parent1671e3447295c45967abd3bce176a9e1151923fb
iface: rename syntax `Functionable` to `Unabstractable`
src/Symantic/Semantics/Data.hs
src/Symantic/Semantics/Forall.hs
src/Symantic/Semantics/Viewer.hs
src/Symantic/Syntaxes/Classes.hs