~ilmu/intro

c587319af1d92fded06f63a822ad5998d9301f93 — ilmu 1 year, 8 months ago 2eb1e16
formating
1 files changed, 4 insertions(+), 4 deletions(-)

M README
M README => README +4 -4
@@ 10,10 10,10 @@ the mvp is a "gradually typed version control system" although there are other
perspectives that are insightful, such as focus on authenticated datastructures.

We want to relate properties to objects using various means, most notably probabilistic
estimates of trust, but programs as predicates is also a heavyweight. These concept lattices
are one of the interesting interpretations of hypergraphs w.r.t. computation, others
are described in papers. The properties will then be related logically with datalog-ish 
expressivity (the general architecture looks a lot like datafun). 
estimates of trust, but programs as predicates is also a heavyweight. These concept 
lattices are one of the interesting interpretations of hypergraphs w.r.t. computation, 
others are described in papers. The properties will then be related logically with 
datalog-ish expressivity (the general architecture looks a lot like datafun). 

Fundamental motivation of the project is to combat pollution; the tragedy of the commons.