Loreon
Labs
Platform
Docs
Home
Ecosystems
Haskell
lh-lectures
Lectures for Liquid Haskell Class
Haskell
Emerging
GitHub
Stars
—
Forks
1
Contributors
2
Last push
2mo ago
Recent commits
Latest commits.
Update README.md
1287876
Niki Vazou
2mo ago
add task 2
23740a6
Niki Vazou
2mo ago
add task 1
0281c1c
Niki Vazou
2mo ago
add instructions
b7b08b9
Niki Vazou
3mo ago
fix build
e772bc2
Niki Vazou
3mo ago
Merge pull request #1 from nikivazou/copilot/add-lectures-01-09
9b9101d
Niki Vazou
3mo ago
Bundle ProofCombinators.hs to fix missing module in lectures 5-9
c164c0f
copilot-swe-agent[bot]
3mo ago
Fix CI: install z3 SMT solver (required by LiquidHaskell)
267aa99
copilot-swe-agent[bot]
3mo ago
Top contributors
Builders behind this project.
nikivazou
7 commits
Copilot
6 commits
