Hacker News new | ask | show | jobs
by agumonkey 2155 days ago
proofs to me, are 'typed' steps. you explicitely state the domains