GitHub repository: msp-strath/TypOS
Primary language: Haskell
Created: 2021-05-14T15:51:38Z
Description: being an operating system for typechecking processes