An implementation of the Nominal Wyvern type system written in Haskell
Installation uses cabal. Ensure you have GHC 8.8.4 (you can use ghcup). Please run
cabal configure
cabal build
Then you should be able to run
cabal test --test-show-details=direct
cabal run nominal-wyvern [file]
Please see the examples/ folder for some example programs.