aristidb/lens-agda

Understanding lenses with the help of Agda