A series of notes on a language under development
Tuesday, September 29, 2015
I concede. The minor typing systems I could come up with didn't handle all corner cases well. Instead of thinking about it more, I decided to start on a new untyped language.