search

dckc / madmode-blog

my tinkering notebook (blog)
https://www.madmode.com
0 stars 2 forks source link

Smart contracts should read as much like legalese as like computer code #37

Open dckc opened 7 years ago

dckc commented 7 years ago

smart contracts should read as much like legalese as like computer code.. .. like proofcheck, the Morris thing for TeX in math