0.5.? - ?/?/? - ?
* refinement of match fixed to prevent useless unfolding,
head_beta_reduce is used instead of whd ~delta:true
0.5.? - ?/?/? - ?
* refinement of match fixed to prevent useless unfolding,
head_beta_reduce is used instead of whd ~delta:true