From c01f5129600491c02dba6a67bc0092bb0a684983 Mon Sep 17 00:00:00 2001
From: Xie Yuheng <xyheme@gmail.com>
Date: Fri, 17 May 2024 20:53:48 +0800
Subject: [PATCH] up

---
 docs/langs/explicit-substitution/exp/Exp.cic | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/langs/explicit-substitution/exp/Exp.cic b/docs/langs/explicit-substitution/exp/Exp.cic
index 2e6827c9..22a73096 100644
--- 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
 }