search

bedrocksystems / coq-lens

Lenses in Coq
Other
17 stars 6 forks source link

Prisms? #3

Open gmalecha opened 6 years ago