~ilmu/intro

2eb1e16275ba0ca9ce5acf1b70214de7e20fb7bd — ilmu 1 year, 8 months ago d58cb8c
Reordered explanation a bit.
1 files changed, 3 insertions(+), 3 deletions(-)

M README
M README => README +3 -3
@@ 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. The properties
will then be related logically with datalog-ish expressivity. These concept lattices
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.
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.