没有合适的资源?快使用搜索试试~ 我知道了~
hazel:Hazel,带打Kong的实时函数式编程环境
共306个文件
re:179个
rei:93个
png:12个
需积分: 5 0 下载量 45 浏览量
2021-03-18
13:27:39
上传
评论
收藏 703KB ZIP 举报
温馨提示
榛 Hazel是一个基于类型理论原理的实时功能编程环境。您可以在找到相关文章和更多动机。 您可以使用或版本在线尝试Hazel。请注意,trunk分支很少更新,目前已落后两年了! 建立和运行榛树 精简版 如果您已经安装了ocaml 4.08.1和最低2.0版的opam ,则可以通过运行以下命令来构建Hazel。 git clone git@github.com:hazelgrove/hazel.git cd hazel make deps make dev 要运行Hazel,请运行命令make echo-html ,该命令将打印文件名。然后使用您喜欢的浏览器打开该文件。为了方便起见,以下make目标打开相应的浏览器或立即调用相应的命令(请参阅INSTALL.md): make firefox make chrome make chrome-browser make chro
资源推荐
资源详情
资源评论
收起资源包目录
hazel:Hazel,带打Kong的实时函数式编程环境 (306个子文件)
style.css 23KB
dune 751B
dune 414B
dune 121B
dune 60B
dune-project 37B
opam.export 3KB
LICENSE.FiraCode 5KB
.gitattributes 241B
.gitignore 421B
index.html 550B
LICENSE 1KB
Makefile 1KB
INSTALL.md 7KB
overview.md 6KB
README.md 5KB
UPDATING.md 3KB
CONTRIBUTORS.md 513B
hazel-screenshot.png 152KB
hazel-logo.png 12KB
greensquiggleempty.png 6KB
redsquiggleempty.png 6KB
greensquiggleshaded.png 6KB
greensquigglefilled.png 5KB
purplesquigglefilled.png 5KB
redovalshaded.png 5KB
redovalshaded.png 5KB
greenovalfilled.png 4KB
purplediamondempty.png 4KB
greendiamondfilled.png 4KB
Action_Exp.re 107KB
Elaborator_Exp.re 50KB
Action_Pat.re 48KB
Statics_Exp.re 42KB
UndoHistoryPanel.re 34KB
ZExp.re 32KB
CursorInfo_Exp.re 32KB
RCStudyCards.re 31KB
UndoHistory.re 27KB
CursorPath_Exp.re 27KB
Statics_Pat.re 24KB
CursorInfo_Pat.re 17KB
UHDoc_common.re 17KB
Elaborator_Pat.re 15KB
ZPat.re 13KB
UHDecoration.re 13KB
ActionPanel.re 13KB
CursorInspector.re 12KB
CursorPath_common.re 12KB
UHMeasuredLayout.re 12KB
DHDoc_Exp.re 11KB
Evaluator.re 11KB
Palettes.re 11KB
SvgUtil.re 11KB
UHExp.re 11KB
ContextInspector.re 11KB
JSUtil.re 10KB
CursorPath_Pat.re 10KB
Action_Typ.re 10KB
Examples.re 10KB
Action_common.re 10KB
UHCode.re 9KB
Program.re 8KB
Model.re 8KB
Page.re 8KB
UHDoc_Exp.re 8KB
ZOpSeq.re 7KB
ListUtil.re 7KB
SettingsPanel.re 7KB
ZTyp.re 7KB
UHPat.re 7KB
Update.re 6KB
Seq.re 6KB
CursorPath_Typ.re 5KB
UndoHistoryCore.re 5KB
SkelParserTests.re 5KB
SegmentTree.re 5KB
DHExp.re 5KB
ZSeq.re 5KB
Hazel.re 4KB
Skel.re 4KB
MeasuredLayout.re 4KB
HTyp.re 4KB
LayoutOfDoc.re 4KB
HazelKeyCombos.re 4KB
CursorInfo.re 4KB
UHTyp.re 4KB
Decoration_common.re 4KB
Settings.re 4KB
UHDoc_Pat.re 4KB
DHDoc_common.re 4KB
DHDoc_Util.re 4KB
DHCode.re 3KB
ZList.re 3KB
UsageAnalysis.re 3KB
Layout.re 3KB
TutorialCards.re 3KB
Box.re 3KB
OpSeq.re 3KB
Sidebar.re 3KB
共 306 条
- 1
- 2
- 3
- 4
资源评论
起名什么的最烦啦
- 粉丝: 14
- 资源: 4640
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- 基于MATLAB的数字信号处理仿真系统(GUI+源码).zip
- IMG_20240510_080940.jpg
- 基于MATLAB的数字信号处理仿真系统GUI+源码(高分项目).zip
- WIFI密码查看器 V1.0 -查看WINDOWS已保存WIFI密码
- DC%E7%BB%BC%E5%90%88%E5%8F%8A%E4%BB%BF%E7%9C%9F%E9%AA%8C%E8%AF%81%E5%92%8CDFT%E6%B5%8B%E8%AF%95.html
- Rtools44 installer for windows
- 数字信号处理实验,使用matlab仿真源码+PDF文档(高分项目).zip
- main.c
- 配置好的maven文件
- 深度学习之OneFlow采用全新架构设计的工业级通用深度学习框架-2.7z
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功