Ninjastic
Home
Search
Users
Boards
Addresses
Ctrl + K
Toggle theme
Open menu
Post
Edited versions
Quotes to this post
Post
14787752
Topic
950309
Board
Announcements (Altcoins)
Re: Tau-Chain and Agoras Official Thread: Generalized P2P Network
by
ohad
on
08/05/2016, 11:39:54 UTC
Quote from: lexxus on May 08, 2016, 11:38:11 AM
How close tau language will be to languages such as irdis/agda?
quite same logic/typesystem (Martin-Lof type theory), but the syntax is completely different (namely, semantic web family e.g. NQuads, Turtle, or Notation3)