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
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.