thinkinglanguage-types 0.3.1

ThinkingLanguage — Type system and type checker
Documentation