smash:“也许”类型的组合器 源码
粉碎 该存储库是一项正在进行的工作,通过将几何形状和拓扑结构放入Haskell的类型系统中来开采以前未开采的Haskell材料的特别有趣的区域。 此存储库中列出的库是Emily在Haskell Love 2020的Hulk Smash谈话的初步工作的一部分: 专案 该存储库是以下项目的顶层:
文件列表
smash-master.zip
(预估有个57文件)
smash-master
smash-microlens
Setup.hs
46B
src
Data
Can
Microlens.hs
3KB
Wedge
Microlens.hs
2KB
Smash
暂无评论