3 ms·
It isn't just tinkering that means the C must be readable. People need to be able to read it and understand what it does without learning F*.
by abainbridge 8y ago
It isn't just tinkering that means the C must be readable. People need to be able to read it and understand what it does without learning F*.