roussillon-type-system 0.3.5

A type system for a programming language
Documentation