Searching protocol for "hindley-milner"
Infer types for functional languages.
Write, validate, and run AILANG code with ease.