an attempt at continuation-style "higher-order" hoare logic, with preconditions only
an attempt at continuation-style "higher-order" hoare logic, with preconditions only

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl