+1 to explore Coalton. It's also talked about on this website and often by its authors. Links to Coalton and related libraries and apps (included Lem editor's

+1 to explore Coalton. It's also talked about on this website and often by its authors. Links to Coalton and related libraries and apps (included Lem editor's mode and a web playground): https://github.com/CodyReichert/awesome-cl/#typing https://github.com/CodyReichert/awesome-cl/#typing