What's this project I'm planning for December I've been discussing this morning?
It'd be a simple & expressive visual functional programming language. You start with a single metatype in which to write to write type signatures. Once you've defined a function's type you can leave it empty to become a type constructor, or you can fill-in auto-generated pattern-matching "() ⇒ () []" blocks with the same or other functions.
Thus expressing the entirety of computation!
1/2?
@alcinnz I've only taken a cursory glance, but a similar use of special glyphs came up in
which was just mentioned by @vanderZwan.