At the first sight, I though it was a new version of https://www.cis.upenn.edu/~...

		Rexxar on June 13, 2015 \| parent \| context \| favorite \| on: Large-scale, well-typed edits in Unison, and reima... At the first sight, I though it was a new version of https://www.cis.upenn.edu/~bcpierce/unison/ but it seems completely different.