Merge branch 'jonas/polymorphism' into 'master'
Session Type-level Polymorphism See merge request iris/actris!12
Showing
- theories/channel/proto.v 53 additions, 4 deletionstheories/channel/proto.v
- theories/logrel/examples/double.v 2 additions, 2 deletionstheories/logrel/examples/double.v
- theories/logrel/examples/pair.v 1 addition, 1 deletiontheories/logrel/examples/pair.v
- theories/logrel/session_types.v 48 additions, 12 deletionstheories/logrel/session_types.v
- theories/logrel/subtyping_rules.v 28 additions, 10 deletionstheories/logrel/subtyping_rules.v
- theories/logrel/term_typing_rules.v 4 additions, 4 deletionstheories/logrel/term_typing_rules.v
Loading
Please register or sign in to comment