Jinxuan Zhu issues

Repositories
Issues
Comments

Results 12 issues of


                                            Jinxuan Zhu

Refactor resolutionMap to use Path.AbsRel

The resolution map is `Map FilePath FilePath` currently. We can refactor them with pathtype https://github.com/github/semantic/blob/c872660ffc3710ef02761f74e8b26f12272787ac/src/Semantic/Resolution.hs#L56 https://github.com/github/semantic/blob/bd457a24d1febdd08d21926ae5fe4bc8758671c5/src/Data/Abstract/Package.hs#L30

maintenance

关于 3d-print 的一点想法

https://github.com/ryan4yin/knowledge/tree/master/3d%20graphics%20%26%20modeling/3d-printing#%E5%A6%82%E4%BD%95%E8%AE%BE%E8%AE%A1%E8%87%AA%E5%B7%B1%E7%9A%84-3d-%E6%89%93%E5%8D%B0%E4%BB%B6 其实设计软件的话，我会强烈安利 python 库 build123d。因为可以编程就太好了。并且 freecad 似乎对 mac 的支持不太好同类型的有 OpenSCAD 和 cadquery。OpenSCAD 获取部件的面和形状太麻烦。cadquery 我不太喜欢其设计（用 chain 太多以至于 context 不太明显）