文件名称:InteriorDesign:是按周长索引的内饰的单子疗法
文件大小:19KB
文件格式:ZIP
更新时间:2024-06-01 01:06:20
Agda
室内设计 是按周长索引的内饰的单子疗法
【文件预览】:
InteriorDesign-master
----Splitting.agda(3KB)
----Jumble.agda(20KB)
----Vec.agda(2KB)
----Basics.agda(7KB)
----All.agda(857B)
----Recutter.agda(4KB)
----Ix.agda(279B)
----Holey.agda(796B)
----LICENSE(1KB)
----gigplan.txt(436B)
----Mask.agda(2KB)
----Interior.agda(1KB)
----.gitignore(8B)
----Cutting.agda(532B)
----README.md(80B)
----Golden.agda(3KB)
----Perm.agda(3KB)
----Tensor.agda(4KB)