├── .gitignore ├── LICENSE ├── Makefile ├── README.md ├── cbits ├── ir.c ├── ir.h ├── quartz.h ├── quartz.m └── quartz_stubs.h ├── iridium-quartz.ipkg └── src ├── IR.idr ├── IR ├── Event.idr ├── Layout.idr ├── Lens.idr ├── Reader.idr └── StackSet.idr ├── MakefileC └── Quartz.idr /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/puffnfresh/iridium/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/puffnfresh/iridium/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/puffnfresh/iridium/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/puffnfresh/iridium/HEAD/README.md -------------------------------------------------------------------------------- /cbits/ir.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/puffnfresh/iridium/HEAD/cbits/ir.c -------------------------------------------------------------------------------- /cbits/ir.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/puffnfresh/iridium/HEAD/cbits/ir.h -------------------------------------------------------------------------------- /cbits/quartz.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/puffnfresh/iridium/HEAD/cbits/quartz.h -------------------------------------------------------------------------------- /cbits/quartz.m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/puffnfresh/iridium/HEAD/cbits/quartz.m -------------------------------------------------------------------------------- /cbits/quartz_stubs.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/puffnfresh/iridium/HEAD/cbits/quartz_stubs.h -------------------------------------------------------------------------------- /iridium-quartz.ipkg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/puffnfresh/iridium/HEAD/iridium-quartz.ipkg -------------------------------------------------------------------------------- /src/IR.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/puffnfresh/iridium/HEAD/src/IR.idr -------------------------------------------------------------------------------- /src/IR/Event.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/puffnfresh/iridium/HEAD/src/IR/Event.idr -------------------------------------------------------------------------------- /src/IR/Layout.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/puffnfresh/iridium/HEAD/src/IR/Layout.idr -------------------------------------------------------------------------------- /src/IR/Lens.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/puffnfresh/iridium/HEAD/src/IR/Lens.idr -------------------------------------------------------------------------------- /src/IR/Reader.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/puffnfresh/iridium/HEAD/src/IR/Reader.idr -------------------------------------------------------------------------------- /src/IR/StackSet.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/puffnfresh/iridium/HEAD/src/IR/StackSet.idr -------------------------------------------------------------------------------- /src/MakefileC: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/puffnfresh/iridium/HEAD/src/MakefileC -------------------------------------------------------------------------------- /src/Quartz.idr: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/puffnfresh/iridium/HEAD/src/Quartz.idr --------------------------------------------------------------------------------