roussillon-type-system 0.3.7

A type system for a programming language
Documentation