Commit 08a3c7a8 authored by Robbert's avatar Robbert

Merge branch 'do_level' into 'master'

Add monadic `;;` and change level of the do-notation to 100

See merge request robbertkrebbers/coq-stdpp!10
parents ffb7f0cc 97c9080c
Pipeline #4961 passed with stages
in 4 minutes and 6 seconds