Fix some builtin docs

This commit is contained in:
Richard Feldman 2022-12-22 04:21:20 -05:00
parent d8d517d6f9
commit 4452b06b6d
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
2 changed files with 3 additions and 5 deletions

View file

@ -8,7 +8,7 @@ interface Bool
## other, and two values `a`, `b` are identical if and only if `isEq a b` is
## `Bool.true`.
##
## Not all types support total equality. For example, [F32] and [F64] can
## Not all types support total equality. For example, [`F32`](../Num#F32) and [`F64`](../Num#F64) can
## be a `NaN` ([Not a Number](https://en.wikipedia.org/wiki/NaN)), and the
## [IEEE-754](https://en.wikipedia.org/wiki/IEEE_754) floating point standard
## specifies that two `NaN`s are not equal.

View file

@ -150,11 +150,9 @@ interface Num
## Represents a number that could be either an [Int] or a [Frac].
##
## This is useful for functions that can work on either, for example #Num.add, whose type is:
## This is useful for functions that can work on either, for example [Num.add], whose type is:
##
## ```
## add : Num a, Num a -> Num a
## ```
## add : Num a, Num a -> Num a
##
## The number 1.5 technically has the type `Num (Fraction *)`, so when you pass
## two of them to [Num.add], the answer you get is `3.0 : Num (Fraction *)`.