We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 31e36af commit 5962f10Copy full SHA for 5962f10
doc/roadmap.md
@@ -73,7 +73,7 @@
73
- [x] unification
74
- [x] zonking
75
- [x] distiller
76
- - [ ] improve binder names
+ - [x] improve binder names
77
- [ ] improve hole names
78
- [ ] core language validation
79
- [x] binary format interpreter
0 commit comments