33 points by Hecate
Missing from the links at the bottom is the HVM and the Bend language which compiles “familiar” lambda calculus to the HVM interaction net graphs. Runs on CPU or GPU.
Breathtaking