search

bedrocksystems / coq-lens

Lenses in Coq
Other
17 stars 6 forks source link

Polymorphic lenses #2

Open gmalecha opened 6 years ago