Add == definition of ComposedOptic and IndexLens from Setfield
#146
| Job | Run time |
|---|---|
| 19s | |
| 19s |
== definition of ComposedOptic and IndexLens from Setfield
#146
| Job | Run time |
|---|---|
| 19s | |
| 19s |