go-types (cargo): The type checker of the Goscript project.
Keywords: golang|type-checker|goscript|parser|programing-language|rust|scripting-language|vm