Search: type-inference · Language: Rust · clear
Building a modern functional compiler from first principles.