/r-type-check

A Hand made language can infer type

Primary LanguageRust

how to play

$ cargo run --bin typecheck -- test.rtc

demo