search

yeslogic / doodle

6 stars 1 forks source link

TypeChecker Engine for incremental type inference and unification of Format, Expr, Pattern #149

Closed archaephyrryx closed 3 months ago

archaephyrryx commented 5 months ago

Rebased version of Draft PR #144

No integration into downstream (Rust codegen) or upstream (the rest of doodle) yet.