Demo
Code
About
Blog
LiquidHaskell
Refinement Types via SMT and Predicate Abstraction
Select Demo
Basics
Blank
Even numbers
Refinements 101
Refinements 102
Vector Bounds
Vector Product
Measures
Vectors
Safe List
CSV Lists
K-Means Lib
K-Means
Talk About Sets
Unique Zippers
Lambda Eval
List-Tree Sum
Abstract Refinements
Parametric Invariants
A Fine Filter
Ordered Lists
BinSearch Tree
Induction
Indexed Maps
HOPA Tutorial
Simple Refinements
HO Loop
Composition
Finite Maps
Interval Sets
Editor
Vim
Emacs
None
Load
Save
×
Crash!
Uh oh, there was a crash. See the
log
.
Re
Check
Verifying...
Safe
Unsafe
Error!
Crash!
Permalink:
FullScreen
1
2
3
-- Wait for it ...
X