nikivazou/EquationalReasoningInLiquidHaskell

Derivation of Optimized Definitions Based on Specs

Theorem Proving for All: Equational Reasoning in Liquid Haskell

Find the paper here

• How to run the examples

  • Locally: run Liquid Haskell on the source files in src
  • Online: At http://goto.ucsd.edu/~nvazou/theorem-proving-for-all/

• How to contribute

  • git clone liquid-client in the directory outside this.
  • edit/add files in src
  • run stack exec -- make