文件名称：idrispkgs:Idris包装的旧Nix表达式。 Idris支持移到了Nixpkgs中！
文件大小：5KB
文件格式：ZIP
更新时间：2024-05-30 07:41:25
Nix
身份 用于构建具有依赖关系的Idris项目的Nix表达式。 例子 要构建示例项目： $ nix-build example.nix /nix/store/ijih1bxcaqzi8fi0kmj0rd1dk637aa6y-idris-nix-example 您可以使用以下示例运行示例： $ /nix/store/ijih1bxcaqzi8fi0kmj0rd1dk637aa6y-idris-nix-example/bin/idris-nix-example [1, 2, 3, {}] 或者，您可以输入示例shell，它将将库放置在正确的位置： $ nix-shell example-shell.nix $$ idris -p config example.idr ____ __ _
【文件预览】：
idrispkgs-master
----.gitignore(27B)
----example.nix(307B)
----default.nix(3KB)
----LICENSE(1KB)
----idris_plain()
--------default.nix(1KB)
--------wrapper.nix(498B)
----example.idr(144B)
----README.md(955B)
----example-shell.nix(149B)