mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-09 04:59:31 -06:00
Transfer: removed some fixed TODOs.
This commit is contained in:
@@ -12,8 +12,6 @@
|
||||
|
||||
- implicit arguments?
|
||||
|
||||
- layout syntax?
|
||||
|
||||
- composOp generation
|
||||
|
||||
- show generation
|
||||
@@ -36,8 +34,6 @@
|
||||
|
||||
* Improve compilation
|
||||
|
||||
- Eta-expand constructor applications and use the core feature for them.
|
||||
|
||||
* Add primitive operations to core
|
||||
|
||||
- primitive operations on strings:
|
||||
|
||||
Reference in New Issue
Block a user