mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-11-04 11:15:27 -07:00
Transfer: remove disjunctive patterns from TODO.
This commit is contained in:
1 parent
635845eed8
commit
d15acf44b6
1 file changed
-2
@@ -12,8 +12,6 @@
|
|||||||
|
|
||||||
- better module system
|
- better module system
|
||||||
|
|
||||||
- Disjunctive patterns
|
|
||||||
|
|
||||||
- Negated patterns?
|
- Negated patterns?
|
||||||
|
|
||||||
- Patterns with guards
|
- Patterns with guards
|
||||||
|
|||||||
Reference in new issue
Block a user