/TypOS

being an operating system for typechecking processes

Primary LanguageHaskell

Watchers