No papers unfortunately. As far as results, we saw some great numbers for the effectiveness of the recomputation. The language is self hosted. And the type che

No papers unfortunately. As far as results, we saw some great numbers for the effectiveness of the recomputation. The language is self hosted. And the type checker is currently incremental. On my machine the initial type checking of the compiler itself is in the ballpark of ~40s. Changing a file and getting new type errors returns in <0.5s