文件名称：sae:Idris 2构建工具和包管理器
文件大小：36KB
文件格式：ZIP
更新时间：2024-06-09 14:33:11
Idris
SAE（所有方程的解） Idris 2构建工具，轻松管理软件包和项目！ 目录 安装 执行此 sh -c " $( curl https://raw.githubusercontent.com/DoctorRyner/sae/master/scripts/install.sh ) " 或者转到然后将可执行文件手动放置在您的路径中 然后，您可以键入sae help来查看简要的用法信息，有关sae更多信息，请查看和 例子 我制作了2个针对javascript的示例程序包： 您可以在看到如何使用它们 发展 要求： 赛 idris2 吉特 npm + yarn，对于Linux用户，如果通过nvm安装npm ，则可以避免出现问题 克隆项目git clone https://github.com/DoctorRyner/sae 键入sae build来构建项目 做出改变 运行yarn ins
【文件预览】：
sae-master
----yarn.lock(38KB)
----src()
--------Sae()
--------Js()
--------Control()
--------Main.idr(169B)
----scripts()
--------install.sh(631B)
----example()
--------src()
--------Eq.yml(397B)
----Eq.yml(60B)
----README.md(1KB)
----docs()
--------Usage.md(1KB)
--------Eq.yml-Structure.md(1KB)
----.gitignore(101B)
----package.json(828B)