Fix typos in hints/comparing-custom-types.md
commit6060484fcc52f97c38f4cfd63424c248aa36e311
authorJeroen Engels <jfm.engels@gmail.com>
dateSun 20 Oct 2019, 11:16 (7 years ago)
parentcc88157
hints/comparing-custom-types.md+1−1
@@ -54,7 +54,7 @@ add info (Table nextId dict) =
5454 )
5555```
5656
57−There are a couple nice thing about this approach:
57+There are a couple nice things about this approach:
5858
59591. The only way to get a new `User.Id` is to `add` information to a `User.Table`.
60602. All the operations on a `User.Table` are explicit. Does it make sense to remove users? To merge two tables together? Are there any special details to consider in those cases? This will always be captured explicitly in the interface of the `User` module.