make some notes

2023-05-22 00:14:53 -04:00 · 2023-05-22 00:14:53 -04:00 · 65692b611b
commit 65692b611b
parent b504370d96
1 changed files with 1 additions and 0 deletions
--- a/src/ludus/compile.clj
+++ b/src/ludus/compile.clj
@ -30,5 +30,6 @@
 			- match
 			- let
 	- check ns access (validation)
+	- check constraints: only use specific fns (checked against a constraint-specific ctx) (validation)

 	")