Skip to content
Snippets Groups Projects

`SetUnfold` instances for `reverse` and `fmap` on lists.

Passed
Robbert Krebbers created pipeline for commit 4ff965b2
, finished
For master
8 jobs 12 minutes 5 seconds, queued for 1 seconds