make map ~a:(fun and map (fun consistent - #2706
Open
EmileTrotignon wants to merge 3 commits into
Open
The logs for this run have expired and are no longer available.
Loading
map ~a:(fun and map (fun consistent - #2706