idris-lens icon indicating copy to clipboard operation
idris-lens copied to clipboard

Published 20 hours ago • verified publisher icon HuwCampbell
→

Metadata

van Laarhoven lenses for Idris

#+TITLE: Idris Lens #+AUTHOR: Huw Campbell #+DATE: [2016-05-19 Thu]

Small port of Control.Lens to Idris

← Metadata

20
Stars
8
Forks
Watchers

Owner

verified publisher icon HuwCampbell

Metadata

van Laarhoven lenses for Idris

Back