Builtin Types viewed as Inductive Families (code)
收藏DataCite Commons2024-01-18 更新2025-04-17 收录
下载链接：
https://research-portal.st-andrews.ac.uk/en/datasets/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
提供机构：
University of St Andrews
创建时间：
2023-02-13
