Update roadmap

yeslogic · Jan 23, 2023 · 4cef50e · 4cef50e
1 parent 4ace687
commit 4cef50e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/doc/roadmap.md b/doc/roadmap.md
@@ -39,14 +39,14 @@
 - [ ] refinement types
 - [x] match expressions
   - [x] single-layer pattern matching
-  - [ ] multi-layer pattern matching
+  - [x] multi-layer pattern matching
   - [ ] dependent pattern matching
-- [ ] patterns
+- [x] patterns
   - [x] wildcard patterns
   - [x] named patterns
   - [x] annotated patterns
   - [x] numeric literal patterns
-  - [ ] record literal patterns
+  - [x] record literal patterns
 - [ ] invertible format descriptions
 
 ## Implementation