Skip to content
Snippets Groups Projects

use Foldable's !! for Data.List.NonEmpty

Failed
wygulmage created pipeline for commit cf303d07
, finished
Related merge request !14046 to merge Int_indexed_Foldable
latest merge request
17 jobs 216 minutes 39 seconds, queued for 4 seconds