amosr / nominal-wyvern

Nominal Wyvern typechecker for subtyping decidability

nominal-wyvern

An implementation of the Nominal Wyvern type system written in Haskell

(wyvernlang.github.io)

Installing

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.