Pattern matching and exhaustiveness checking algorithms implemented in Rustgithub.com/yorickpeterse4 pointstodsacerdoti2 years ago