diff --git a/src/ludus/compile.clj b/src/ludus/compile.clj
index 66ce67e..5ead91d 100644
--- 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)
 
 	")
\ No newline at end of file