rghaskell. Porting a variant of rely-guarantee references to Liquid Haskell

github.com/csgordon/rghaskell
by @csgordon

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.