More web gimmicks
I don't intend to keep doing daily status updates, but this week so far I've been somewhat productive. Today, I:
- Implemented
sendSuspendin Links, - Checked in a Links routine
freshResource, which redirects the user to a new URL for the continuation of the execution; this can achieve the old trick of redirecting the user to a safe URL after doing a destructive action (a step forward in web-savvy abstractions, but a small one), - Demonstrated a tidy web-login library that uses
sendSuspendandfreshResource, - Met with Phil & resolved to do some theory,
- Checked a bunch of proofs in a sort of paper I'm working on.