基于 TypeScript 类型系统实现的 Unlambda 解释器

[CismonX]

最近初学 TypeScript，对它的类型系统比较感兴趣，于是用它实现了函数式语言 Unlambda 的解释器。

截图：

GitHub 仓库：esolangs/type-unlambda

菜鸟练手作品，没啥技术含量和实用价值，还请大佬们轻喷（

前几天 TypeScript 4.1 正式发布了。

这个项目依赖其中新增的两个特性，Template Literal Types 和 Recursive Conditional Types，所以更新了一下依赖并在 npm 上发布了新版本，算是第一个（或许也是最后一个）正式版本吧。