Ninjastic
Home
Search
Users
Boards
Addresses
Ctrl + K
Toggle theme
Open menu
Post
Edited versions
Quotes to this post
Post
14617914
Topic
950309
Board
Announcements (Altcoins)
Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network
by
lexxus
on
21/04/2016, 13:49:06 UTC
Why was Martin-Lof Type Theory was chosen? Why not something more common such as first order predicate logic?