3 ms·
Is there a reason you picked Python? Python seems like a bad language for comparison since so much of it is checked at runtime. It seems like Coq or Agda woul
by amock 17y ago
Is there a reason you picked Python? Python seems like a bad language for comparison since so much of it is checked at runtime. It seems like Coq or Agda would be a superior choice for writing laws in.
- Raphael 17y agoRepublican congressman can't get enough Coq.