thinkinglanguage-types 0.3.0

ThinkingLanguage — Type system and type checker
Documentation