Login
Roast topics
Find topics
Find it!
From:
andrevidela.com
(Uncensored)
subscribe
Binding Application in Idris | André Videla
https://andrevidela.com/blog/2025/binding-application/
links
backlinks
Tagged with:
plt
Roast topics
Find topics
Roast it!
The new binding application in Idris helps write programs with dependent pairs and other structures with lambda as the trailing argument. This post is a small collection of uses I have for it.
