Harsh, but I had fun reading about J.S. Carberry in Wikipedia :) | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

YeGoblynQueenne on May 17, 2020 | parent | context | favorite | on: Poi: Pragmatic point-free theorem prover assistant...

Harsh, but I had fun reading about J.S. Carberry in Wikipedia :)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact