没有合适的资源?快使用搜索试试~ 我知道了~
tryidris:试试伊德里斯
共29个文件
js:6个
htm:4个
css:3个
需积分: 5 0 下载量 127 浏览量
2021-05-11
03:53:56
上传
评论
收藏 125KB ZIP 举报
温馨提示
试试伊德里斯 网页上的编译器。 用法 $ tryidris 8080 安装 使用在大多数系统上安装一个命令: $ halcyon install https://github.com/mietek/tryidris 部署方式 一键式部署到新的或 Web应用程序平台: 关于 由制造。 在下发布。 由包装。
资源推荐
资源详情
资源评论
收起资源包目录
tryidris-master.zip (29个子文件)
tryidris-master
templates
compile.htm 643B
footer.htm 393B
console.htm 1KB
header.htm 846B
app.json 421B
Procfile 24B
.halcyon
sandbox-sources 33B
constraints 1KB
idris-0.9.18
sandbox-sources 35B
constraints 2KB
sandbox-extra-apps 11B
sandbox-extra-apps-constraints
alex-3.1.4.constraints 329B
pre-install-hook 2KB
extra-data-files 17B
LICENSE 1KB
tryidris.cabal 2KB
static
console.js 2KB
compile.js 1KB
styles
codemirror.css 6KB
bootstrap.min.css 99KB
scripts
codemirror.min.js 181KB
haskell.js 8KB
jquery-1.10.1.min.js 91KB
jquery.console.js 21KB
style.css 1001B
Setup.hs 46B
.gitignore 48B
README.md 849B
Main.hs 5KB
共 29 条
- 1
资源评论
日月龙腾
- 粉丝: 27
- 资源: 4575
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功