/TypOS

being an operating system for typechecking processes

Primary LanguageHaskell

No issues in this repository yet.