+Lift
Additive: update
Alternate: update
ClientServer: update
Core: update
IP: update
Examples: update
InOut/MultiParty: update
Some more updates
Control/Protocol/Parametricity.agda
Control/Protocol/GameSemantics.agda
+js-experiment