sdiehl/typechecker-zoo

A menagerie of cute implementations of modern typechecking algorithms

语言：Rust · GitHub 星标：464 · Fork：18

话题：compiler · dependent-types · type-inference · type-system · type-theory

在 GitHub 上查看原仓库