Remove Mention of hom-cod

Removes mention of the removed hom-cod function in order to allow docs to load properly.
anoma · Jul 12, 2023 · b6057fc · b6057fc
1 parent c609edf
commit b6057fc
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
@@ -56,7 +56,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
@@ -16,7 +16,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)