This library is a Rust implementation of Cedille Core, specified here: https://github.com/astump/cedille-core-spec/blob/master/spec.pdf
lurk-lab / cedille-core-rs Goto Github PK
View Code? Open in Web Editor NEWImplementation of Cedille Core in Rust
License: MIT License