Ryxai/sableye

A lens library in Idris based off of EKmett's lens package, WIP

MIT