自制的一个依值类型语言 ShiTT

请移步至此

#编程 #类型论 #编程语言
自制的一个依值类型语言 ShiTT
http://konjacsource.github.io/2024/09/02/ShiTT/
作者
KonjacSource
发布于
2024年9月2日
许可协议