Found in 1 comment on Hacker News
jshaqaw · 2023-01-20
· Original
thread
I'm a big fan of this book for anyone interested in the topic: https://www.amazon.com/Gentle-Introduction-Dependent-Types-I...
