Introduction to Idris

Please note that the parking garage of the university is to my knowledge completely closed for the foreseeable future, but ideally, replacement parking spaces should be available. There are also some closed off areas / paths at the university in relation with this, but all buildings should still be reachable.

Furthermore, our meeting coincides with the "Sommerfest" at the university. The "Unikat" will be involved in that, so I'm not sure how crowded it will be and if they offer their normal selection. On the other hand, there will probably be other options as well.

We'll nevertheless try to meet there at 19:00 and hopefully find a solution.

The talk starts between 20:00 and 20:30 in the Math building in room M101, which should hopefully be unaffected.

Merlin will give an introduction to the Idris programming language:

We will quickly recap dependent typing and what this powerful tool has to offer. Afterwards we will take a look at how to do the things we know from Haskell in Idris, what Idris improves upon, and what major pitfalls to look out for.