issues
search
Draco-lang
/
Compiler
The compiler repository for the Draco programming language.
Apache License 2.0
74
stars
9
forks
source link
Type checker rework stage1
#291
Closed
LPeter1997
closed
11 months ago
LPeter1997
commented
11 months ago
Move rules from constraints to the solver
Move rules from constraints to the solver