Skip to content
Snippets Groups Projects

Function `fun_to_vec : (fin n → A) → vec A n`.

Failed
Robbert Krebbers created pipeline for commit f0d2b68d
, finished
For master
branch
6 jobs 9 minutes 52 seconds, queued for 1 seconds