文件名称：exp1:Agda UHC 后端
文件大小：1.04MB
文件格式：ZIP
更新时间：2024-07-30 15:55:20
JavaScript
Agda UHC 后端 Agda 的 UHC 后端。 使用说明可以在找到。
【文件预览】：
exp1-master
----presentation()
--------agda-arch.svg(10KB)
--------section-cur-backends.tex(9KB)
--------agda-arch-with-uhc.svg(12KB)
--------uhc-arch-extr.svg(83KB)
--------section-agda-intro.tex(3KB)
--------src()
--------uhc-arch-extr-mod.svg(85KB)
--------presentation.pdf(591KB)
--------section-uhc-backend.tex(3KB)
--------uhc-arch-extr-mod.png(121KB)
--------bib.bib(3KB)
--------agda-arch-with-uhc.png(219KB)
--------presentation.tex(4KB)
--------compile.sh(134B)
--------agda-arch.png(213KB)
----src()
--------examples()
--------js_libs()
----doc()
--------notes_2014-06-17.txt(363B)
--------notes_2014-05-24.txt(169B)
--------notes_2014-05-08.txt(61B)
--------GeneralNotes.txt(3KB)
--------UHC-NOTES.txt(2KB)
--------links.txt(677B)
--------install_notes.txt(429B)
--------TODO.txt(698B)
--------notes_2014-07-08.txt(380B)
--------notes_2014-10-02.txt(575B)
--------proposal()
--------notes_2014-09-08.txt(843B)
--------comparison.odt(23KB)
--------notes_2014-04-01.txt(351B)
----README.md(175B)
----.gitignore(55B)