Hacker News new | ask | show | jobs
by rigille 1778 days ago
That's a great idea. Kind for example compiles to a small core language called FormCore which can be typechecked with 700 lines of javascript. In theory other languages could compile to FormCore and have good interoperability with Kind.