CONTENT

This website has the following on the site, "Ive recently been playing around with Idris." We analyzed that the web site also said " A functional language in the Haskell." It also stated " I wont get into its design or features here, but Ill simply state that, unlike Haskell, it has dependent types and is evaluated eagerly not lazily by default. It offers a simple FFI to C, so I was curious what integration with Objective-C would look like. I havent found any examples of that, so I thought Id give it a try and share my results. This is a module defining an."