GitHub repository: tsoding/Noq
Primary language: Rust
Created: 2022-03-22T17:51:21Z
Description: Simple expression transformer that is not Coq.