puffnfresh/iridium — pull request #11 by jlengyel (2014-12-08 10:20:57+00:00)
Title: Deal with language / framework changes

Update Lens.idr to deal with the refl -> Refl rename
Update Quartz.idf to deal with clang argument passing procedure
Update quartz.m in accordance with isue #8