此世虽逢,难舍落蔷
曾听细雨,未悦风凉
挥墨不攘,循过椴梁
蚀半烛刻舟,登无魂之层
闻利剑出鞘,飞杨信如棱
会饮冰之人,魑忘却之神
计划队列:
- 做一个类似于JuliaRoadmap、渐构但更相互契合的平台
- MetaJewelsLang: 做一个类似于coq、HoTT、MetaMath 但更现代化及全面的系统
- 做一个现代化、「LISP化」的沙盒系统
- 做一个能用于在世界末日/K级情景正常工作、提供应对方式的系统
- JuliaRoadmap: 短期稳定
- DoctreePages.jl: 长期稳定