berkus / oak-cool-hm-types

Implementation of Aiken's COOL teaching language in Rust with Hindley-Milner type inference, using oak as parser.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Implementation of COOL teaching language by Alex Aiken, in Rust, using Oak. Additional feature is a Hindley-Milner type inference.

About

Implementation of Aiken's COOL teaching language in Rust with Hindley-Milner type inference, using oak as parser.


Languages

Language:Rust 100.0%