Leaving academia

Let's make a Teeny Tiny compiler

Type inference has usability problems