You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This issue is to create a very short (< 500 lines) design document specifying what exactly we expect to be able to do with linear lenses at the level of an API. From this document it should be crystal clear whether an implementation meets the specification put forth here.
The text was updated successfully, but these errors were encountered:
This issue is to create a very short (< 500 lines) design document specifying what exactly we expect to be able to do with linear lenses at the level of an API. From this document it should be crystal clear whether an implementation meets the specification put forth here.
The text was updated successfully, but these errors were encountered: