Introduction to Idris

Idris is a language built on top of Haskell and heavily influenced by it. The biggest value added are dependent types that are first class citizens in Idris (unlike in Scala).

The workshop will be held by Jacek Dąbrowski.

Things to prepare: tba.