roussillon-type-system 0.1.2

A type system for a programming language
Documentation