Merge pull request #70 from kl0tl/no-monomorphic-proxies

Don’t mention SProxy in README.md
purescript · Dec 5, 2020 · 41f1110 · 41f1110
2 parents e9af942 + 4ba6224
commit 41f1110
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -13,10 +13,10 @@ bower install purescript-record
 
 ## Examples
 
-Given some Symbol ("type level String") Proxy (`SProxy`) and a constrained or concrete record type, you can use this library to generically modify records.
+Given some Symbol ("type level String") Proxy and a constrained or concrete record type, you can use this library to generically modify records.
 
 ```purs
-x_ = SProxy :: SProxy "x"
+x_ = Proxy :: Proxy "x"
 
 -- we can get a value out of a field
 gotX :: Int