/liquid-stain

Examples from the LiquidHaskell book, ported to Scala+Stainless

Primary LanguageScala

Liquid Stain

Port of the examples from the LiquidHaskell Book to Stainless.

Verifying the examples

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

Adding more examples

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