Lib.rs
›
用户
#
lambda-calculus
#
de-bruijn-encoding
sshwy
加入crates-io一年前。加入GitHub六年前。
GitHub
crates.io
主页 (notes.sshwy.name)
维护者仪表板
GitHub组织成员
OI-wiki
sshwy创建了1个软件包
lamcalc
自2023年3月起为唯一所有者。上次更新一年前。