文章 0 浏览 1
Agda的新手。我想要一种从代码中获取一些输出的方法，因此我正在寻找一种打印数字的方法。在标准 Unsolved metas at the following locations: /home/…
文章 0 评论 0
接受
