Yeah, Unison doesn’t just infer the types, it will add type signatures automatic...

		zawodnaya on Jan 11, 2023 \| parent \| context \| favorite \| on: A look at Unison: a revolutionary programming lang... Yeah, Unison doesn’t just infer the types, it will add type signatures automatically to top-level definitions.