roussillon-type-system 0.1.0

A type system for a programming language
Documentation