Lib.rs

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

app lucent

Owned by ast-ral.

1 unstable release

0.1.0 Mar 25, 2023

#834 in Programming languages

MIT/Apache

2KB

toy programming language based on the calculus of constructions

No runtime deps