up

cicada-lang · May 17, 2024 · c7042b3 · c7042b3
1 parent c01f512
commit c7042b3
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/docs/langs/explicit-substitution/exp/Exp.cic b/docs/langs/explicit-substitution/exp/Exp.cic
@@ -6,6 +6,6 @@ datatype Exp {
 }
 
 class Binding {
-  name: string
+  name: String
   exp: Exp
 }
diff --git a/docs/langs/explicit-substitution/reduce/lookup.cic b/docs/langs/explicit-substitution/reduce/lookup.cic
@@ -1,7 +1,7 @@
 import { Binding, Exp } from "../exp/index.cic"
 
 export function lookup(
-  name: string,
+  name: String,
   bindings: List(Binding),
 ): Maybe(Exp) {
   let found = listFind(