Off topic, but has anyone used HVM? What do you use it for? It seems like a very interesting project with quite a steep learning curve, given interaction nets

Off topic, but has anyone used HVM? What do you use it for? It seems like a very interesting project with quite a steep learning curve, given interaction nets look like a whole new way of thinking.