| show | edit | edit as text | add to group

History of: FP-Graz - Type Driven Development in Idris

Current version (2018-04-25T20:19:01.586479)

    acronym: FP-Graz
title: Type Driven Development in Idris
startdate: 2018-05-03
starttime: 19:00
endtime: 22:00
timezone: Europe/Vienna
city: Graz
country: AT
address: 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.