Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
Ryan Scott
(Uncensored)
subscribe
Visible dependent quantification in Haskell - Ryan Scott
https://ryanglscott.github.io/2019/03/15/visible-dependent-quantification-in-haskell/
links
backlinks
This post is based off of a talk I gave on March 8, 2019, that was
