GitHub - madgen/refinement-types-seminar: Material for Liquid Haskell/refinement types seminar at Queens' College · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
Demo.hs		Demo.hs
Refinement types.pdf		Refinement types.pdf

About

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

Report repository

Releases

No releases published

Packages

Contributors

Languages

Haskell 100.0%