Hi everyone! I’m currently creating a video which explains Lamdu’s interface for static types, and I would love to get feedback on it ❤️ And the video’s only 7 minutes long 🙂 https://www.dropbox.com/s/febl1sxfnaj6tzy/Static%20Types%20Work%20in%20Progress.mp4?dl=0 Btw Lamdu is a projectional code editor for a purely functional programming language that @eyal and me are developing for quite some time. See the video above, as well as our previous video about live programming on lamdu.org for more info. Looking forward for your feedback!