AlgebraicJulia / AlgebraicJulia/GATlab.jl
Lazy-load library of theories
未關閉
- 主要語言
- Julia
- 星號
- 43
- 分支
- 4
- PR 合併指標
- 30 天內沒有已合併 PR
描述
Right now, `stdlib` is pretty small. But there are a lot of generalized algebraic theories, and loading them requires running Julia code, so will impact our load time negatively. At some point, we should think about whether it's possible to lazy-load theories.
貢獻指南
這個儲存庫沒有索引到貢獻指南
評估
這個 Issue 還沒有評估資料。