nominal-wyvern

An implementation of the Nominal Wyvern type system written in Haskell

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.

Name		Name	Last commit message	Last commit date
Latest commit History 109 Commits
OCamlScripts		OCamlScripts
app		app
examples		examples
lib		lib
src		src
tests		tests
.gitignore		.gitignore
ChangeLog.md		ChangeLog.md
LICENSE		LICENSE
README.md		README.md
Setup.hs		Setup.hs
cabal.project		cabal.project
hie.yaml		hie.yaml
nominal-wyvern.cabal		nominal-wyvern.cabal
test.sh		test.sh