liquid-sandbox

public

0 stars

0 forks

0 issues

Commits

List of commits on branch main.

Unverified

5d978a7412a41f32259d5e19263c3ce8d114a2cc

Initial commit

ffacundominguez committed 4 years ago

README

The README file for this repository.

This is an example project using Liquid Haskell.

Build with

stack --nix build

The only interesting stuff right now is a comparison of the implementations of a simple expression language implemented twice. One of the implementations uses Liquid Haskell (TypedLanguageLH) and the other implementation uses GADTs (TypedLanguageGADTs).