Fix description of INTO

coalton-lang · Jun 13, 2023 · 7819a1f · 7819a1f
1 parent e5e42a0
commit 7819a1f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/library/classes.lisp b/library/classes.lisp
@@ -246,7 +246,7 @@
   ;;
 
   (define-class (Into :a :b)
-    "INTO imples *every* element of :a can be represented by an element of :b. This conversion might not be injective (i.e., there may be elements in :a that don't correspond to any in :b)."
+    "INTO imples *every* element of :a can be represented by an element of :b. This conversion might not be bijective (i.e., there may be elements in :b that don't correspond to any in :a)."
     (into (:a -> :b)))
 
   (define-class ((Into :a :b) (Into :b :a) => Iso :a :b)