3 ms·
And yet there's a lot of effort in automating lawyers, so maybe the future will be setting more higher level .
by petra 10y ago
And yet there's a lot of effort in automating lawyers, so maybe the future will be setting more higher level .
- visarga 10y agoHigher order lawyers - where you can do with one HOL in a day what took a month with regular lawyers (just like Python vs Assembler).