update notes

janet/validate.janet

@@ -4,21 +4,21 @@
 
 Tracking here, before I start writing this code, the kinds of validation we're hoping to accomplish:
 
-* [x] splats come at the end of list, tuple, and dict patterns
-* [x] no unbound names
-* [x] no re-bound names
-* [x] no unbound names with `use` forms
 * [ ] first-level property access with pkg, e.g. `Foo :bar`--bar must be on Foo
-* [x] recur in tail position in `loop` forms
+ - [ ] accept pkg-kws
-* [x] recur not called outside of `loop` forms
 * [x] `loop` form arity checking
 * [x] arity checking of explicit named function calls
 * [x] flag tail calls
+* [x] no re-bound names
+* [x] no unbound names
+* [x] no unbound names with `use` forms
+* [x] recur in tail position in `loop` forms
+* [x] recur not called outside of `loop` forms
+* [x] splats come at the end of list, tuple, and dict patterns
 
 Imports are for a later iteration of Ludus:
 * [ ] no circular imports DEFERRED
 * [ ] correct imports DEFERRED
-
 )