GitXplorerGitXplorer
f

liquid-sandbox

public
0 stars
0 forks
0 issues

Commits

List of commits on branch main.

No commits found

There are no commits on branch main.

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).