Commit e07f3ac406c48daeb68c5b1cd3ba41246472ff27

Thomas de Grivel 2024-07-03T10:36:07

todo

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
diff --git a/README.md b/README.md
index 164ba0f..ff4ce48 100644
--- a/README.md
+++ b/README.md
@@ -480,6 +480,11 @@ Script interpreter. Works the same as ic3 but is not interactive.
 ## TODO
 
  - libc3
+   - operators dispatch
+     - list of matching operators (facts_with)
+   - map access (x = %{a: 1}; x.a = 1)
+     - buf_parse_call_access
+     - access
    - base-specific big floats
    - macro cast `(Macro) fn (x) { x }`
    - pretty printer