README

This repository has the materials for a 2-hour workshop on Programming with Refinement Types which is also a tutorial introduction to LiquidHaskell.

Running LiquidHaskell

You can run this code in any of the following ways:

The online web demo is easiest for the workshop. See below

This is the easiest by far; point your browser here

This is also very easy, if you can manage the 2Gb download.

Step 1 Download this VM image

he code files are in lh-workshop/src/*.lhs

Step 2 Choose your editor. For emacs do:

   tar -zxvf liquid-emacs.tgz

and for Spacemacs (a great Vim-Emacs hybrid) do:

   tar -zxvf liquid-spacemacs.tgz

Step 3 The code files are in

   ~/lh-workshop/src/*.lhs

Finally, if you prefer, you can build LiquidHaskell from:

To build rust-style html (in dist/_site)

 $ stack exec -- make html

To build reveal.js slides (in dist/_slides)

 $ stack exec -- make slides

You can modify the following parameters:

WBL Heaps

Insert Sort

Name		Name	Last commit message	Last commit date
Latest commit History 90 Commits
assets		assets
dist		dist
docs		docs
src		src
.gitignore		.gitignore
LICENSE		LICENSE
Main.hs		Main.hs
Makefile		Makefile
README.md		README.md
Setup.hs		Setup.hs
lh-workshop.cabal		lh-workshop.cabal
stack.yaml		stack.yaml