]> Git — Sourcephile - haskell/symantic-base.git/commit
sourcephile / git / haskell / symantic-base.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 99fb33d) | patch
iface: rename syntax `Unabstractable` to `Instantiable`
authorJulien Moutinho <julm@sourcephile.fr>
Mon, 4 Sep 2023 23:11:01 +0000 (01:11 +0200)
committerJulien Moutinho <julm@sourcephile.fr>
Thu, 7 Sep 2023 23:45:48 +0000 (01:45 +0200)
commit1671e3447295c45967abd3bce176a9e1151923fb
tree7f9e7b3b4e5669ae41ff0bb13d063408ce417a5dtree | snapshot
parent99fb33d91ee7945c27f7a801a99a23c07c97b832commit | diff
iface: rename syntax `Unabstractable` to `Instantiable`
src/Symantic/Semantics/Data.hs diff | blob | history
src/Symantic/Semantics/Forall.hs diff | blob | history
src/Symantic/Semantics/Reader.hs diff | blob | history
src/Symantic/Semantics/Viewer.hs diff | blob | history
src/Symantic/Syntaxes/Classes.hs diff | blob | history
src/Symantic/Syntaxes/Reify.hs diff | blob | history
Library for basic symantic combinators