Haskell Community
Daily updates on Dependent Haskell
rae
December 9, 2022, 4:40am
12
This makes me so excited!
3 Likes
Status of dependent types?
show post in topic