Lib.rs

› Programming languages
#programming-language #construction #toy #calculus

app lucent

Owned by ast-ral.

1 unstable release

0.1.0 Mar 25, 2023

#688 in Programming languages

MIT/Apache

2KB

toy programming language based on the calculus of constructions

No runtime deps