Past Meetup

Getting to know Idris

This Meetup is past

41 people went

jambit GmbH

Erika-Mann-Str. 63 · München

How to find us

S-Bahn Donnersbergerbrücke

Location image of event venue

Details

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.