From 65692b611bdfad752b170b90baece347eb3757cc Mon Sep 17 00:00:00 2001
From: Scott Richmond <s.richmond@utoronto.ca>
Date: Mon, 22 May 2023 00:14:53 -0400
Subject: [PATCH] make some notes

---
 src/ludus/compile.clj | 1 +
 1 file changed, 1 insertion(+)

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