rchaser53 / r-type-check

A Hand made language can infer type

how to play

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

demo