Update roadmap

yeslogic · Jan 1, 2023 · 5962f10 · 5962f10
1 parent 31e36af
commit 5962f10
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/roadmap.md b/doc/roadmap.md
@@ -73,7 +73,7 @@
   - [x] unification
   - [x] zonking
 - [x] distiller
-  - [ ] improve binder names
+  - [x] improve binder names
   - [ ] improve hole names
 - [ ] core language validation
 - [x] binary format interpreter