GitHub repository: kiana-S/idris2-lens
Primary language: Idris
Created: 2023-04-20T18:05:44Z
Description: Profunctor optics/lenses for Idris2