Loreon
Labs
Platform
Docs
Home
Ecosystems
Haskell
presentations
Presentations on Liquid Haskell, type theory, and more
Haskell
Emerging
GitHub
Stars
45
Forks
1
Contributors
1
Last push
20mo ago
Recent commits
Latest commits.
add obra key
0ccdf33
Niki Vazou
20mo ago
ICFP 24 pdf
6dd16b2
Niki Vazou
22mo ago
done ICFP
47ef006
Niki Vazou
22mo ago
add ICFP
1e6ceab
Niki Vazou
22mo ago
update dynLIO
afa99a4
Niki Vazou
26mo ago
update presentation
8ed90a7
Niki Vazou
27mo ago
add presentation
b9dc4e2
Niki Vazou
27mo ago
popl presentations
11d9504
Niki Vazou
28mo ago
Top contributors
Builders behind this project.
nikivazou
98 commits
