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

History of: FP-Graz - Functional Programming Meetup

Current version (2017-06-06T22:48:27.955497)

    acronym: FP-Graz
title: Functional Programming Meetup
startdate: 2017-06-08
starttime: 19:00
endtime: 22:00
timezone: Europe/Vienna
city: Graz
country: AT
tags: fpgraz
urls:
    meetup http://meetup.com/Functional-Programming-Graz/
    stainless http://stainless.epfl.ch/
description:
Experimenting with stainless to perform verification on Scala code.