on master help sign in
Update README.md
58f574eCsongor Kiss
README.md+1−1
@@ -3,7 +3,7 @@ Magic record operations using generics (i.e. both type- and morally safe - no TH
3
3
4Available on [Hackage](https://hackage.haskell.org/package/generic-records)
4Available on [Hackage](https://hackage.haskell.org/package/generic-records)
5
5
6−This package uses the GHC8 Generic representation of records to derive magic classes (siilar to the OverloadedRecordLabels proposal), and prove structural subtyping relationship between records.
6+This package uses the GHC8 Generic representation of records to derive magic classes (similar to the OverloadedRecordLabels proposal), and prove structural subtyping relationship between records.
7The latter can be used to upcast the "sub-record" to the more general "interface".
7The latter can be used to upcast the "sub-record" to the more general "interface".
8
8
9This is made possible by GHC-8's new Generics API, which provides the meta-data
9This is made possible by GHC-8's new Generics API, which provides the meta-data