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!