<div dir="ltr">The SML basis library usually provides tupled functions (e.g., List.take : 'a list * int -> 'a list). For CakeML, should we follow this style, or would it be better to go for curried style ('a list -> int -> 'a list)? I think curried fits better with HOL style and the translator and probably leads to better code with our current compiler.<br></div>