up

cicada-lang · May 17, 2024 · c01f512 · c01f512
1 parent d1b13c3
commit c01f512
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/docs/langs/explicit-substitution/exp/Exp.cic b/docs/langs/explicit-substitution/exp/Exp.cic
@@ -1,7 +1,7 @@
 datatype Exp {
   Var(name: String): Exp
-  Fn(name: String, ret: Arg): Exp
-  Ap(target: Exp, arg: Arg): Exp
+  Fn(name: String, ret: Exp): Exp
+  Ap(target: Exp, arg: Exp): Exp
   Let(bindings: List(Binding), body: Exp): Exp
 }