Hacker News new | ask | show | jobs
by anta40 115 days ago
I thought this has something to do with this book:

https://forallx.openlogicproject.org/forallxyyc-accessible.p...