roussillon-type-system 0.2.2

A type system for a programming language
Documentation