Lib.rs
›
Users
#
lambda-calculus
#
de-bruijn-encoding
sshwy
Joined crates-io a year ago. Joined GitHub 6 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 10 months ago.