Nicolas
Hi! I’m Nicolas, a computer scientist and software engineer from the Ruhrpott. The topics I’m nerding out about change on a daily basis, but some of my main interests are programming languages, type systems, urbanism and hiking.
Take a look at my website to find out more about me.
Beitrag
21.06
13:00
120min
Beweisen mit Agda für Programmierer*innen
Nicolas
Ein kleiner Einblick in die Welt des Beweisens und Programmieren mit Agda!
Workshop
Workshops/CTDO Raum 3