Convert to Rust 2021 and update dependencies

lightstep / superposition

Imported from EraDB

MIT License

0 stars 1 forks source link

Convert to Rust 2021 and update dependencies #27

Closed sstangl closed 2 years ago

sstangl commented 2 years ago

In thinking about how to make some Alexandria state machine code more testable, I realized that I roughly wanted the KripkeStructure. Just brushing it off so that recent tooling is happy with it.