/liquidhaskell-short-tutorial

Short Tutorial for LiquidHaskell

Primary LanguageJavaScriptMIT LicenseMIT

LiquidHaskell - Short - Tutorial

This is a short version of the full LiquidHaskell Tutorial.

To access the tutorial use the link [https://catarinagamboa.github.io/liquidhaskell-short-tutorial/].

To make changes in the tutorial:

  1. Clone the repo.
  2. Access the src folder, where the literate haskell documents are located.
  3. Make changes on the .hls files.
  4. Commit changes and see the results in the webpage.