Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network
Ohad, can you give us an example of this? Show us how it would work, because I don't understand how it works. 
did you watch this talk https://www.youtube.com/watch?v=Utggm7cuGbo&list=PLav2klOnTUlN6UynNT-_8hTs1FtF0fGbl&index=3 ?
I understand what tau-chain will do, but I just don't understand how. I think i'll need to watch it again.
So, that lawyer contract you described at the beginning would be rejected by tau-chain, right?
right
tau's logic is martin lof type theory http://plato.stanford.edu/entries/type-theory-intuitionistic/