├── .gitignore ├── .travis.yml ├── LICENSE ├── Lens.idr ├── default.nix └── lens.ipkg /.gitignore: -------------------------------------------------------------------------------- 1 | *.ibc -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-lens/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-lens/HEAD/LICENSE -------------------------------------------------------------------------------- /Lens.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-lens/HEAD/Lens.idr -------------------------------------------------------------------------------- /default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-lens/HEAD/default.nix -------------------------------------------------------------------------------- /lens.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/idris-hackers/idris-lens/HEAD/lens.ipkg --------------------------------------------------------------------------------