Update README.md
Remove note of generics-sop as a TODO, as a similar library now exists for sop
commit01d04ec0ca10950a7d831be2479ca6ff7634c6e8
authorCsongor Kiss <kiss.csongor.kiss@gmail.com>
dateSun 9 Oct 2016, 23:21 (10 years ago)
parent49fc271
README.md−3
@@ -29,6 +29,3 @@ data R2 = R2 { a :: String }
2929upcast (R1 "hello" 5) :: R2
3030-- => R2 "hello"
3131```
32−
33−# TODO
34−[ ] port to `generics-sop` that now also supports type-level meta-data