OliverBalfour/ProfunctorOptics

Data accessor combinator library in Idris with formal proofs of correctness

TeX