thinkinglanguage-types 0.1.0

ThinkingLanguage — Type system and type checker
Documentation