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
(Für diesen Workshop ist eine kostenlose Voranmeldung unter https://workshops.do-byte.de notwendig)
Ein kleiner Einblick in die Welt des Beweisens und Programmieren mit Agda!
Workshop
Workshops/CTDO Raum 3