Are*_*lis 5 idris
将旧式Idris样张转换为新的基于反射的新样本的推荐指南是什么？
我有大量的Idris代码用旧的(ER之前的)风格编写,虽然一些策略相对容易转换为新风格,但是我在转换时遇到了一些困难很多都是通过反复试验.我不知道文档概述了这样的程序,所以我非常感谢任何提示.TIA.
归档时间：
8 年，6 月 前
查看次数：
63 次
最近记录：