Generics library for datatype-generic programming in Agda
收藏DataCite Commons2023-05-25 更新2024-07-03 收录
下载链接：
https://data.4tu.nl/datasets/fc62ee84-6397-4e9b-9eb7-b08e846b0a17
下载链接
链接失效反馈官方服务：
资源简介：
This archive contains the source code for the Generics Agda library for safe, typed datatype-generic programming.<br>This archive is intended for use as an artifact in a journal submission.<br>To follow the latest development of the Generics library, please go to the Github repository.
提供机构：
4TU.ResearchData
创建时间：
2023-05-25
