IdrisObjCExperiment Using Idris With Objective-C http://andyarvanitis.com/using-idris-with-objective-c/