伊德里斯教程 关于在 Idris 中使用战术的教程。 有关 Idris 的更多信息,请访问:[ ] 如果您想为本教程做出贡献,请随时这样做。 但是,请先阅读 [CONTRIBUTING.md]。 问题可以在问题跟踪器中找到。
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~