GitHub repository: traviscross/match-ergonomics-formality
Primary language: Rust
Created: 2024-06-24T21:02:04Z
Description: This tool formalizes the operation of match ergonomics.