Getting to know Idris

We're super happy to announce an event dedicated to Idris (https://www.idris-lang.org)!

We'll see short talks prepared by four wonderful speakers, discussing following topics:

✪ A gentle introduction

✪ Refinement types

✪ Roman numerals

✪ Proofs!

Our hosts, jambit, will take care of catering :)

Is there something you could present or share? Get in touch!

Anything else? Comment below or shoot me an email to jan at stepien.cc.