Show HN: Galois connections for composable numeric casts in Rustgithub.com
18 points by partialsolve 4 hours ago | 1 comment