Home Discussions10 of 489 messages view all » [Idris] Build of Idris fails because of `libffi' By Edwin Brady - May 8 - 4 authors - 7 replies How to output the Java code? By philip andrew - May 6 - 1 author - 0 replies exposing functions through FFI By Mathijs Kwik - May 4 - 1 author - 0 replies Mac OS users - what arch? By David Christiansen - May 1 - 1 author - 1 reply [Idris] Idris and ASMJS? By raichoo - Apr 29 - 2 authors - 1 reply Introductory articles on Idris? (for general programmers) By Paul Callaghan - Apr 21 - 6 authors - 8 replies Verified Software Competition - second announcement - http://vscomp.org By Hannes Mehnert - Apr 18 - 1 author - 0 replies Problem with dsl specification By Srdjan Stipic - Apr 17 - 1 author - 0 replies Extending the code from Lecture 2, programming with Idris. By Srdjan Stipic - Apr 11 - 1 author - 0 replies [Idris] Simplifying pattern matching with do notation By Edwin Brady - Apr 10 - 3 authors - 3 replies Report this group   XML       Send email to this group: idris-lang@googlegroups.com