#105: added Y combinator comment

AAVSO · Oct 18, 2024 · d3942ee · d3942ee
1 parent 14102cd
commit d3942ee
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/script/VeLa/Y/Y.vela b/script/VeLa/Y/Y.vela
@@ -1,4 +1,7 @@
-# Y combinator
+# Y combinator for integer functions
+# VeLa does not yet have variant or polymorphic types
+# nor are function parameter and return types fully
+# specified (just "function") yet
 
 Y is λ(h : function) : function {
     λ(f : function) : function {