Update TODO.md

This commit is contained in:
JT 2021-10-07 08:43:00 +13:00 committed by GitHub
parent 06d819ecc8
commit 5021d61800
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -24,6 +24,7 @@
- [x] Externals - [x] Externals
- [x] Modules and imports - [x] Modules and imports
- [x] Exports - [x] Exports
- [x] Source
- [ ] Input/output types - [ ] Input/output types
- [ ] Support for `$in` - [ ] Support for `$in`
- [ ] Value serialization - [ ] Value serialization
@ -32,7 +33,6 @@
- [ ] ctrl-c support - [ ] ctrl-c support
- [ ] operator overflow - [ ] operator overflow
- [ ] finish operator type-checking - [ ] finish operator type-checking
- [ ] Source
- [ ] Overlays (replacement for `autoenv`) - [ ] Overlays (replacement for `autoenv`)
## Maybe: ## Maybe: