Skip to content

make wp_par usable

Ralf Jung requested to merge ralf/wp_par into master

See the discussion in tutorial-popl18!1 (merged): Currently, wp_par is not usable. This makes it usable.

wp_par is nicer than par_spec in that it produces nicer goals, but unfortunately stating it requires value lambdas. This MR is not a perfect solution, but an improvement.

Merge request reports