Liquid Stain

Port of the examples from the LiquidHaskell Book to Stainless.

Verifying the examples

On a terminal execute sbt.
In the SBT command prompt, run verified/run.

Adding more examples

The code to be verified must live under verified/src/main/scala.