tl-differ:类型语言差异网站

时间:2024-06-01 10:59:49
【文件属性】:

文件名称:tl-differ:类型语言差异网站

文件大小:9KB

文件格式:ZIP

更新时间:2024-06-01 10:59:49

JavaScript

类型语言差异 使用 您可以在查看在线版本。 您也可以在编译后在本地通过仅在所选的Web浏览器中打开index.html来查看此内容。 编译中 要“编译”该站点,必须运行以下Python脚本: python get-all-tl.py 这将克隆或更新信息库,签出影响scheme.tl文件的每个修订,然后对其进行分析以产生“紧凑的” diff.js差异。 这些文件都不包含在存储库中,以极大地减少膨胀。 结构 index.html 这是前端,仅是应用程序的框架和外观。 app.js 这具有计算任何两个层之间的差异,使用它们的增量并更新前端的逻辑。


【文件预览】:
tl-differ-master
----.gitignore(36B)
----app.js(14KB)
----README.md(884B)
----get-all-tl.py(9KB)
----index.html(5KB)
----deploy.sh(194B)

网友评论