idris - Idris 2 找不到 Control.Linear.LIO 模块
问题描述
我正在尝试编写一些 Idris 2 代码来重新实现Idris2 论文中显示的示例。尝试L
通过设置
import Control.Linear.LIO
和加载文件来导入类型时,我在 Repl 中收到以下错误:
错误:找不到模块 Control.Linear.LIO
有什么建议么?
解决方案
您需要将 contrib 作为一个包显式包含在内。像运行伊德里斯一样
$ idris2 -p contrib filename.idr
推荐阅读
- i2c - 是否可以将具有 SSI 的从设备连接到具有 I2C/SPI 的主设备?
- c# - c# Filter datatable with multiple condition
- python - 我无法使用普通 zeroMQ 推/拉模式在拉取实例上抓取/打印数据
- azure - azure 服务总线订阅是否像队列一样?
- delphi - How can i fix this error on updating Indy 10 on Delphi 2007
- java - Color changed on button in AlertDialog
- machine-learning - `Torch`中的卷积层(即`nn.SpatialConvolution`)和`Pytorch`中的卷积层(即`torch.nn.Conv2d`)有什么不同
- python - Python - How to make a loop deep inside nested while loops to not return to the beginning of the whole loop but make it return to its own while loop
- python - Python 正则表达式替换以特定短语开头和结尾的文本
- cuda - CUDA - 在内核中动态重新分配更多全局内存