Skip to content

Commit

Permalink
Merge pull request #323 from fxkr/patch-1
Browse files Browse the repository at this point in the history
Clarify meaning of 42 :: Integer, Number
  • Loading branch information
davidchambers authored May 25, 2020
2 parents 0688b34 + c148fda commit 1b1acd6
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -63,8 +63,8 @@ id="sanctuary-types-return">[1](#sanctuary-types)</sup>
* `::` _"is a member of"._
- `e :: t` can be read as: "the expression `e` is a member of type `t`".
- `true :: Boolean` - "`true` is a member of type `Boolean`".
- `42 :: Integer, Number` - "`42` is a member of type `Integer and
Number`".
- `42 :: Integer, Number` - "`42` is a member of the `Integer` and
`Number` types".
* _New types can be created via type constructors._
- Type constructors can take zero or more type arguments.
- `Array` is a type constructor which takes one type argument.
Expand Down

0 comments on commit 1b1acd6

Please sign in to comment.