1071
FP-Graz - Type Driven Development in Idris
edit  |  edit as text  |  history  |  copy as text
ICAL
2018-05-03 Thu 19:00 -22:00
where
realraum
tags
functional-programming meetup
urls
  • idris
    https://www.idris-lang.org/
  • meetup
    http://meetup.com/Functional-Programming-Graz/
Description

Präsentation der Dependently Typed Language Idris. Demo, wie ein erweitertes Typsystem beim entwickeln korrekter (interaktiver) Programme unterstützt.

Comments

There are so far no comments about this event.

Log in to add a comment.