Skip to content

add definitions of hd and tl in List.v

lykimquyen requested to merge quyen@add_hd_tl_definitions into master

Add the definitions for hd and tl in the List.v

Merge request reports