An implementation of the dual calculus in Haskell
Haskell
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Failed to load latest commit information.
CallByName
CallByValue
.gitignore
CallByName.hs
CallByValue.hs
Core.hs
Duality.hs
Ids.hs
LICENSE
Main.hs
Setup.hs
Substitution.hs
Syntax.hs
Test.hs
Utilities.hs
dual-calculus.cabal