ucsd-progsys/liquid-client-retro
Templates for generating plain HTML tutorials with embedded LiquidHaskell text panes
JavaScriptBSD-3-Clause
Stargazers
No one’s star this repository yet.
Templates for generating plain HTML tutorials with embedded LiquidHaskell text panes
JavaScriptBSD-3-Clause
No one’s star this repository yet.