HNC
HNC copied to clipboard
Re-implement SPL interpreter
Current SPL interpreter and REPL shell (spli cabal target) is very low-tech and depends on deprecated code (e.g. on an old type checker in SPL.Check3).