]> Git — Sourcephile - haskell/symantic-base.git/commit
iface: replace `adt` by `dataType`, and support `TuplesOfFunctions`
authorJulien Moutinho <julm@sourcephile.fr>
Fri, 2 Dec 2022 01:24:15 +0000 (02:24 +0100)
committerJulien Moutinho <julm@sourcephile.fr>
Wed, 25 Jan 2023 00:32:21 +0000 (01:32 +0100)
commita0bf1fcc7298eea282b12e18adbfd5684b6843fa
tree0abeed4ff39b70342b696608ca463fc47213f1b5
parente99b42a632851319f3a9a91d0ae6b505cc3cf90f
iface: replace `adt` by `dataType`, and support `TuplesOfFunctions`
src/Symantic/Semantics.hs
src/Symantic/Semantics/ToFer.hs [new file with mode: 0644]
src/Symantic/Syntaxes.hs
src/Symantic/Syntaxes/Classes.hs
src/Symantic/Syntaxes/TuplesOfFunctions.hs [new file with mode: 0644]
symantic-base.cabal