update mono

This commit is contained in:
Luke Boswell 2023-03-15 18:24:16 +11:00
parent ba1d8755e0
commit 90dd31aaca
No known key found for this signature in database
GPG key ID: F6DB3C9DB47377B0
11 changed files with 423 additions and 423 deletions

View file

@ -32,7 +32,7 @@ Eq has
## cannot derive `isEq` for types that contain functions.
isEq : a, a -> Bool | a has Eq
## Represents the boolean truthy and falsy using an opaque type.
## Represents the boolean true and false using an opaque type.
## `Bool` implements the `Eq` ability.
Bool := [True, False] has [Eq { isEq: boolIsEq }]