Skip to content

potanin/nominal-wyvern

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

35 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

nominal-wyvern

An implementation of the Nominal Wyvern type system written in Haskell

(wyvernlang.github.io)

Installing

Installation uses cabal. Please run

cabal configure
cabal build

Then you should be able to run

cabal run nominal-wyvern [file]

Please see the examples/ folder for some example programs.

TODO

  • Check that nested type declarations work
  • Check for valid shape usage (probably at the same time, throw errors as needed)
  • Allow general exprs in function calls (desugar when binding)
  • Make type annotations more lenient (we can infer type of new exprs, for instance)
  • Look into the extra edges rules
  • Later: REPL for typing/subtyping queries

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Haskell 99.5%
  • Shell 0.5%