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 ?

Yes, I have watched this video, but I watched it again.
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/

Ok, so if you wanted to make a contract like the lawyer one in tau-chain, then would you have to say that if there is a contradiction then the teacher needs to be paid? Or would something else need to be done? Or maybe that contract can't be described in tau's code. (I don't know

)
Sorry for the questions. :/