Commit Graph

406 Commits (30fd9399719931d97e6ed2d7d7d3a6f19c098941)

Author SHA1 Message Date
Tpt 2ba00cd8b5 Fixes some Clippy warnings 7 years ago
Tpt 9659e33251 Merges MultiSetPattern and ListPattern 7 years ago
Tpt fb152aa3ee Fixes a collision with EncodedTerm type ids 7 years ago
Tpt 23387ab76e Makes repository root directory a Cargo workspace 7 years ago