Add location-set as a generic type to Transport

lsd-ucsc / ChoRus

🎶 Choreographic programming in Rust 🎶

https://lsd-ucsc.github.io/ChoRus/

MIT License

39 stars 2 forks source link

Add location-set as a generic type to Transport #14

Closed ihaveint closed 1 year ago

ihaveint commented 1 year ago

This adds location-set as a generic type to transport, and removes the need for users to specify the location-set for Projector. Now, the location-set of Projector is inferred from the location-set of transport.

shumbo commented 1 year ago

Merging this PR and I will make more adjustments at #12