formatting

This commit is contained in:
Bryce Miller 2023-05-30 07:32:29 -04:00
parent 98338f6e20
commit 35a27daecf
No known key found for this signature in database
GPG Key ID: F1E97BF8DF152350

View File

@ -23,7 +23,6 @@ interface Set
Hash.{ Hash, Hasher },
]
## Provides a [set](https://en.wikipedia.org/wiki/Set_(abstract_data_type))
## type which stores a collection of unique values, without any ordering
Set k := Dict.Dict k {} | k implements Hash & Eq