Merge branch 'robbert/foldr_cons' into 'master'
Passed
Robbert Krebbers
created pipeline for commit
e648978a
, finished
For master
14 minutes 50 seconds, queued for 68 seconds