Lib.rs
›
Users
#
lambda-calculus
#
de-bruijn-encoding
sshwy
Joined crates-io 2 years ago. Joined GitHub 7 years ago.
GitHub
crates.io
Home (notes.sshwy.name)
Maintainer dashboard
Member of GitHub orgs
OI-wiki
sshwy created 1 crate
lamcalc
Sole owner since Mar 2023. Last updated 2 years ago.