@@ -12,11 +12,11 @@ Based on [superrecord](https://hackage.haskell.org/package/superrecord), but sim
1212
1313* Provides `Generic` instances out of the box. Aeson, etc can't believe these aren't normal records! Anything `Generic`-derived just works.
1414
15−* Provides `generic-lens` instances out of the box. Due to those custom instances, we support polymorphic updates.
15+* Provides `generic-lens` and `generic-optics` instances out of the box. Due to those custom instances, we support polymorphic updates.
1616
1717* O(1) field access, O(n) construction.
1818
19−* PureScript-style partial records — if you have a `Record ("foo" := Int ': rest)`, `HasField "foo"` will work just fine.
19+* PureScript-style partial records — if you have a `Rec ("foo" := Int ': rest)`, `HasField "foo"` will work just fine.
2020
2121## TODOs
2222
@@ -24,3 +24,7 @@ Based on [superrecord](https://hackage.haskell.org/package/superrecord), but sim
2424* Expose all internals.
2525* `-- NOTE: doesn't use 'KeyDoesNotExist'` — fix this.
2626* `RemoveAccessTo` — can we get rid of it?
27+
28+## Acknowledgement
29+
30+* The `Rec.Super` module is entirely based on the code from [superrecord](https://hackage.haskell.org/package/superrecord).