Note: this is the stubbed version of module LiquidHaskell. You should download the lhs version of this module and replace all parts marked undefined. Eventually, the complete version will be made available.

LiquidHaskell

Nick will give an interactive exercise on the LiquidHaskell tool.

To prepare, watch this video presented by Ranjit Jhala at the LambdaConf conference. In particular, pay close attention to the section from 15:00 to 46:00, which covers parts 2 and 3 of the presentation distributed here.

The main lecture code is in this file.

To run the code in this lecture, use the online LiquidHaskell demo with the hs version of the lecture code.

> module LiquidHaskell where

> main :: IO ()
> main = print "Remember, no class Wednesday! Happy thanksgiving!"

CIS 552: Advanced Programming

Fall 2019

LiquidHaskell