gluon_check (cargo): The typechecker for the gluon programming language
Keywords: compiler|embeddable|functional|gluon|language|programming-language|repl|rust|type-inference