News for hackers. Stuff that matters.
Re:Why Are Cancer Guidelines Stuck in PDFs? by triska on Wednesday December 25, 2024 @06:54AM (#42508364)
David has since also made extensive progress with his category-theoretic approach, available in a new repository:

https://github.com/Precisfice/DEDUCTION

There are no comments on this comment yet.