这里是 Anillc

我喜欢计算机相关的技术，包括但不限于：

• 程序语言设计、类型论及其相关的数学
• 计算机体系结构
• 计算机网络

喜欢弹吉他，但是菜。弹一些指弹曲玩

邮箱： i # anil.lc