slotted-egraphs
| Crates.io | slotted-egraphs |
| lib.rs | slotted-egraphs |
| version | |
| source | src |
| created_at | 2024-09-20 12:27:32.599727 |
| updated_at | 2024-11-25 16:59:41.746516 |
| description | E-Graphs with name binding |
| homepage | |
| repository | https://github.com/memoryleak47/slotted-egraphs/ |
| max_upload_size | |
| id | 1381192 |
| Cargo.toml error: | TOML parse error at line 17, column 1 | 17 | autolib = false | ^^^^^^^ unknown field `autolib`, expected one of `name`, `version`, `edition`, `authors`, `description`, `readme`, `license`, `repository`, `homepage`, `documentation`, `build`, `resolver`, `links`, `default-run`, `default_dash_run`, `rust-version`, `rust_dash_version`, `rust_version`, `license-file`, `license_dash_file`, `license_file`, `licenseFile`, `license_capital_file`, `forced-target`, `forced_dash_target`, `autobins`, `autotests`, `autoexamples`, `autobenches`, `publish`, `metadata`, `keywords`, `categories`, `exclude`, `include` |
| size | 0 |
Rudi Schneider (memoryleak47)
documentation
README
Slotted E-Graphs
In this repository we've implemented slotted e-graphs.
For a higher level introduction to slotted e-graphs, consider
For an example implementation of a Language with binders in slotted e-graphs, consider the RISE implementation in here.
For documentation, see here.