Hello Hacker News, founder here. I'm very excited about this startup. One feature of this tool that I am particularly excited about which I think people here w

Hello Hacker News, founder here. I'm very excited about this startup. One feature of this tool that I am particularly excited about which I think people here will appreciate is the way expressions are implemented. Expressions are fully typed and the types are automatically inferred. When you leave a hole the editor will tell you what type fits there. Don't forget to try out the (full) app in the playground!