< raulraja> do we want to have ` docs optics lenses ` becaus kotlinlang #arrow

<@U4UGS5FC7> do we want to have `/docs/optics/lens...

simon.vergauwen

10/04/2017, 6:37 AM

@raulraja do we want to have

/docs/optics/lenses/

because then I have to update the permalink in the

lens/README.MD

as it is

/docs/optics/lens

atm