SPLV20:SPLV20课程笔记

【文件属性】：

文件名称：SPLV20:SPLV20课程笔记

文件大小：794KB

文件格式：ZIP

更新时间：2024-04-25 18:42:18

Idris

SPLV 2020 苏格兰编程语言和验证暑期学校课程“ Idris 2的实现”的课程注释和支持代码 这包括： Slides ---包含讲座的（PDF）幻灯片 Code ---包含讲座和练习中使用的代码 TinyIdris-v1 --- TinyIdris-v1的初始实现 TinyIdris-v2 v2-统一实现TinyIdris的扩展实现