idris2-curl:idris2的libcurl绑定

Idris2卷毛绑定 我真的不想写我自己的HTTP库，所以这里是curl。 这将提供直接一次性操作的Easy接口和Multi接口，可充分发挥卷曲的力量。 此外，这将提供用于在用于Internet连接时使用curl代替Idris network软件包的方法。 安装 您可以直接通过idris2安装： idris2 --install package.ipkg 或通过Makefile： make install 或通过： sae-linux install 版本 该软件包遵循 ，它不同于 ，因为在检查1.2.3 ， 1.2是主要版本而不是1 。