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

David has since also made extensive progress with his category-theoretic approach, available in a new repository:

https://github.com/Precisfice/DEDUCTION



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

Search: