slotted-egraphs-derive
| Crates.io | slotted-egraphs-derive |
| lib.rs | slotted-egraphs-derive |
| version | 0.0.36 |
| created_at | 2024-11-20 16:46:10.572806+00 |
| updated_at | 2025-09-11 16:31:51.58852+00 |
| description | proc macros to implement slotted Languages |
| homepage | |
| repository | https://github.com/memoryleak47/slotted-egraphs/ |
| max_upload_size | |
| id | 1455030 |
| size | 13,757 |
Rudi Schneider (memoryleak47)