1048
FP-Graz - Functional Programming Meetup
edit  |  edit as text  |  history  |  copy as text
ICAL
2018-03-08 Thu 19:00 -22:00
where
realraum
tags
functional-programming meetup
urls
  • liquidhaskell
    https://ucsd-progsys.github.io/liquidhaskell-blog/
  • meetup
    http://meetup.com/Functional-Programming-Graz/
Description

Präsentation zu LiquidHaskell,

damit können logische Prädikate über Daten als Typen codiert werden.

Zum Beispiel: der Input einer Funktion muss eine sortierte Liste sein.

Kein Haskell Vorwissen erforderlich.

Comments

There are so far no comments about this event.

Log in to add a comment.