文件名称:idris2-pkgs:Nidri Flake of Idris2包装
文件大小:7KB
文件格式:ZIP
更新时间:2024-04-18 17:14:31
Nix
Nix Flake,用于Idris2软件包和后端
【文件预览】:
idris2-pkgs-main
----flake.nix(4KB)
----flake.lock(21KB)
----.gitignore(9B)
----README.md(43B)
文件名称:idris2-pkgs:Nidri Flake of Idris2包装
文件大小:7KB
文件格式:ZIP
更新时间:2024-04-18 17:14:31
Nix
Nix Flake,用于Idris2软件包和后端