Skip to content

curry wp_fork

Ralf Jung requested to merge ralf/curry-fork into master

@jihgfee pointed out on Mattermost that the current spec is confusing, and anyway we prefer curried specs nowadays. Also sort postcondition last as we usually do.

Merge request reports