Pattern matching and exhaustiveness checking algorithms implemented in Rustgithub.com/yorickpeterse3 pointsfanf2a year ago