Hacker News new | ask | show | jobs
by layer8 386 days ago
French version, as a proper PDF: https://girard.perso.math.cnrs.fr/moutarde.pdf