FreeSpec icon indicating copy to clipboard operation
FreeSpec copied to clipboard

Published 20 hours ago • verified publisher icon lthms

Core requires OCaml >= 4.10

Open liyishuai opened this issue 1 year ago • 0 comments

https://github.com/lthms/FreeSpec/blob/d4e2f3a3fc7e82effddca202a8b0210dbbcf3663/theories/Core/gen_type_classes.ml#L25

List.concat_map was first introduced in ocaml/ocaml#8760

liyishuai avatar Jan 16 '24 19:01 liyishuai