bentnib.org
↩

Data Types with Negation
2023-01-16 12:27:52 (Hacker News)
Source: Hacker News
Propositions as Filenames, Builds as Proofs: The Essence of Make (2015)
2023-01-16 10:44:22 (Hacker News)
Source: Hacker News

↩