AlgebraicJulia / AlgebraicJulia/GATlab.jl
Lazy-load library of theories
Đang mở
- Ngôn ngữ chính
- Julia
- Star
- 43
- Fork
- 4
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
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.
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
Đánh giá
Issue này chưa được đánh giá.