0
Haskell for all · 2mo · discuss
Folklore trick for dollar-store dependent types
Haskell for all · 2mo · discuss
Folklore trick for dollar-store dependent types
We can't find the internet
Attempting to reconnect
Something went wrong!
Attempting to reconnect