alt-romes / alt-romes/hegg

Release 0.7.0

Đang mở
#42 2 bình luận 0 reaction 0 người được giao Xem trên GitHub
Ngôn ngữ chính
Haskell
Star
98
Fork
17
Chỉ số merge pull request
Không có pull request nào được merge trong 30 ngày

Mô tả

We should do a release with the recent changes. Notably, the ability to visualize with vizdot the e-graphs with a better implementation, which is very useful for debugging

- [x] [#40](https://github.com/alt-romes/hegg/pull/40)
- [ ] [#43](https://github.com/alt-romes/hegg/pull/43)

Is there any other feature that someone intends to contribute in the near future? @ren-zeng perhaps you have something in mind?
Otherwise I'll cut a release later this week.

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á.

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.