git.iko.soy/generic-lens
on master help sign in
Update README.md
01d04ecCsongor Kiss
README.md−3
compare with master
unifiedsplit
@@ -29,6 +29,3 @@ data R2 = R2 { a :: String }
29upcast (R1 "hello" 5) :: R2
29upcast (R1 "hello" 5) :: R2
30-- => R2 "hello"
30-- => R2 "hello"
31```
31```
32−
33−# TODO
34−[ ] port to `generics-sop` that now also supports type-level meta-data