v4

objectionary · May 9, 2024 · dc313f0 · dc313f0
1 parent 8b93368
commit dc313f0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.DS_Store b/.DS_Store
diff --git a/quick-tests/11-times-of-inc.sodg b/quick-tests/11-times-of-inc.sodg
@@ -3,6 +3,8 @@
 # v11 -> v8.inc
 # v13/foo -> v8.times(α0 -> v11)
 
+# int(6).times(int(6).inc) > foo
+
 ADD(0);
 
 # v1/int -> []