文件名称：PiWare-prefixes:PiWare 中的并行前缀和
文件大小：1019KB
文件格式：ZIP
更新时间：2024-06-24 20:21:12
Agda
PiWare-前缀 PiWare 中的并行前缀和
【文件预览】：
PiWare-prefixes-master
----report()
--------main.tex(2KB)
--------main.bib(1KB)
--------main.pdf(122KB)
--------body.tex(27KB)
--------fan_structure.pdf(9KB)
--------scan_structure.pdf(9KB)
--------scan_circuit_serial.pdf(4KB)
--------scan_circuit.pdf(5KB)
--------fan_structure_old.pdf(8KB)
--------fans_123.pdf(3KB)
----piware-agda()
----talk-2015-05-01.pdf(486KB)
----.gitmodules(188B)
----imgs.pdf(19KB)
----talk-2015-05-01.key(668KB)
----src()
--------Report.lagda(15KB)
--------PiWarePrefixes()
--------Data()
----imgs.graffle(360KB)
----latex()
--------agda.sty(12KB)
----agda-stdlib()
----README.md(64B)
----Makefile(2KB)
----.gitignore(126B)