Geeks
ucsd-progsys
/
liquid-sf
Port "Software Foundations" to LiquidHaskell
Primary Language
Haskell
MIT License
MIT
liquid-sf GitHub
Markdown
Readme
0
Issues
11
Stargazers
8
Watchers
Watchers
atondwal
Google
eemailme
jhcloos
nikivazou
IMDEA
quewean
ranjitjhala
University of California, San Diego
rrnewton
Meta, Purdue University, Indiana University
slerner