/refinement-types-seminar

Material for Liquid Haskell/refinement types seminar at Queens' College

Primary LanguageHaskell

No issues in this repository yet.