Loon: A functional lang with invisible types, safe ownership, and alg. effects
Summary
Loon is framed as a functional programming language featuring invisible types, safe ownership, and algebraic effects. The provided data contains only a title and a homepage link, with no substantive artifact to analyze.