type

2023-04-18 23:35:30 -05:00 · 2023-04-18 23:35:30 -05:00 · a78654b8eb
parent a15af59267
commit a78654b8eb
1 changed files with 9 additions and 0 deletions
--- a/docs/src/index.md
+++ b/docs/src/index.md
@ -180,3 +180,12 @@
              it out
            - could this include valueMatches, which runs a custom predicate?
            - select means should this be included in the result
+
+  - Type system?
+    - If i'm going to have the concept of higher-order nodes, might as well have
+        a type system, at the very least for the metadata keys
+
+    - I kinda want some kind of refinement type / contract system. Not sure how
+        this will look yet
+
+    - Proof carrying code for executors? lol