Hacker News new | ask | show | jobs
by 0x12 5361 days ago
A dependent claim is like a #include for lawyers that don't like typing.