Removed later from payloads in session types
Showing
- theories/logrel/examples/double.v 2 additions, 2 deletionstheories/logrel/examples/double.v
- theories/logrel/session_types.v 4 additions, 9 deletionstheories/logrel/session_types.v
- theories/logrel/subtyping_rules.v 11 additions, 11 deletionstheories/logrel/subtyping_rules.v
- theories/logrel/term_typing_rules.v 1 addition, 1 deletiontheories/logrel/term_typing_rules.v
Loading
Please register or sign in to comment