Renaming
redo -> gup
The where should be indented now
Various updates to regen as much HTML as possible
+GenChal
Merge branch 'master' of github.com:crypto-agda/crypto-agda
Merge branch 'master' of github.com:crypto-agda/crypto-agda
Control/Protocol/CoreBind.agda