进制转换工具

支持常见进制的相互转换

小工具-Lambda演算计算工具

支持无类型Lambda演算计算，并且支持let-in、do、注释等扩展语法。