I am very interested in the work they are doing with Bend and Kind, but right now, I am just confused as to what language is actually being actively developed. As I see it, right now they have HVM3(the runtime), Bend, Kind, Kind2, and some other stuff. No idea how all of that is supposed to tie in together.

> Think inets as like sort of lambda calculus runtime: > lambdas -> inets -> reduced inets -> lambdas

a bit like Tree Calculus but with nets.