issues
search
owo-lang
/
minitt-rs
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
Apache License 2.0
113
stars
3
forks
source link
The ability to attach builtin definitions (like Agda BUILTIN pragma
#12
Open
ice1000
opened
5 years ago