search

optics-dev / Monocly

Optics experimentation for Dotty
MIT License
32 stars 5 forks source link

Remove GenLens #19

Closed kenbot closed 3 years ago

kenbot commented 3 years ago

The GenLens macro is obsolete now, delete it and just have Focus.