Arc Forumnew | comments | leaders | submit login

8 points by pg 6139 days ago | link | parent The whole point of the axiomatic approach is that you don't program in the axioms themselves. But you still do want to have the things you do program in built out of the smallest set of axioms.