presentations

Presentations on Liquid Haskell, type theory, and more

BSD-3-CLAUSE License

Stars
43
View Code on GitHub
Ecosystems: Haskell

No README available, please check again later.

Related Projects
liquid-meta

20 Dec 2021 5
cloud-haskell-example

Example application with Cloud Haskell.

27 Jun 2016 5
hatred

haskell typesetting

29 Oct 2018 8
hlatex

LaTeX document builder for Haskell

06 Mar 2011 5
mtl-c

Monad transformers in CPS

09 Mar 2013 11
proof-combinators

Proof combinators used in Liquid Haskell for theorem proving

28 Mar 2018 12
Graphalyze

Graph-Theoretic Analysis library

13 Aug 2015 9
jugendstil

New Style GUI Library

11 Jun 2016 5
th-tc

Poor man's typechecker in Template Haskell

22 Oct 2019 9
singleton-typelits

Singletons and induction schemes for GHC TypeLits.

14 Dec 2017 3
verified_string_matching

Verified Parallelized Version of String Mathcing

18 Oct 2016 6
combinator-interactive

06 Sep 2013 3
torrent

24 Nov 2015 16
purescript-interop

Generate Purescript types from Haskell

28 Jan 2016 7
holz

(Un)abstract graphics library

18 May 2015 8