Builtin Types viewed as Inductive Families (code)
收藏数据链接：
官方服务：
资源简介：
Artefact attached to the ESOP'23 paper 'Builtin Types viewed as Inductive Families'. This contains: 0. A README describing the artefact 1. A VM with idris2 version 0.6.0 installed 2. The source code of the library the paper describes 3. Some scripts to automatically boot the VM & compile the code
创建时间：
2023-02-13
