RT @headius: Finally got a good look at @cliff_click's experimental language "aa". Linear time full system type inference with optional typ…