Merge remote-tracking branch 'origin/artem/hom-cod-docs-remove'

anoma · Jul 12, 2023 · 412f905 · 412f905
2 parents 6b44d56 + b6057fc
commit 412f905
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/src/lambda/lambda.lisp b/src/lambda/lambda.lisp
@@ -75,7 +75,7 @@ while
 (ann-term1 (list so1 (so-hom-obj so1 so1)) (app (index 1) (list (index 0))))
 ```
 
-produces an error trying to use [HOM-COD]. This warning applies to other
+produces an error trying to use. This warning applies to other
 functions taking in context and terms below as well.
 
 Moreover, note that for terms whose typing needs addition of new context

diff --git a/src/lambda/package.lisp b/src/lambda/package.lisp
@@ -17,7 +17,6 @@
   "This covers the main API for the STLC module"
 
   (ann-term1          pax:generic-function)
-  (hom-cod            pax:function)
   (index-check        pax:function)
   (fun-to-hom         pax:function)
   (ann-term2          pax:function)