Ruby Drink-up 15 Apr 14 - Idris and Dependent Type Programming


Our next Ruby Drink-up in Sophia-Antipolis is to take place on Tuesday, the 15th of April at 6:30pm at the Green King pub, espace Saint-Philippe, Sophia Antipolis.

We have a great presentation on the agenda:

  • Idris and Dependent Type Programming, presented by Anwar Rizal @anrizal.

    We are going to have a look at Idris, a general purpose programming language that supports dependent type. First, we look into what dependent type is, why it is interesting, dependent type in Idris, and a demo of Idris programming.

Join us to chat over a drink and meet with the Ruby community of Sophia-Antipolis!