summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorNadrieril Feneanar2020-03-17 18:10:40 +0000
committerGitHub2020-03-17 18:10:40 +0000
commit6d82e0040316b4feefd3d95129829f91b595b5f2 (patch)
tree30dc5ece69d74027ed84ba7aeeb1ca575dea15ee /README.md
parent65e8aa46344b9dc32c3ad776856791d18cc616c3 (diff)
parentcd30948242576e9262796d4ecd998b62619b0e8a (diff)
Merge pull request #143 from Nadrieril/record-puns
Implement record puns
Diffstat (limited to 'README.md')
-rw-r--r--README.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/README.md b/README.md
index 072dd10..6c37d4e 100644
--- a/README.md
+++ b/README.md
@@ -160,6 +160,7 @@ same name as the corresponding test.
[???]
+- Implement record puns
- Add support for `with` keyword
- Implement remote imports with conservative sanity checking
- Implement `missing` and `env:VAR` imports