1 Repositories
Rust Noq Libraries
Simple expression transformer that is not Coq.
Noq Not Coq. Simple expression transformer that is not Coq. Quick Start $ cargo run ./examples/add.noq Main Idea The Main Idea is being able to define
187 Jan 7, 2023