Commit 2022-08-24 11:40 7c9da281
View on Github →feat: Array.ofFn
and lemmas (#381)
This adds the Array.ofFn
function which is analogous to List.ofFn
as well as characterizing lemmas.
feat: Array.ofFn
and lemmas (#381)
This adds the Array.ofFn
function which is analogous to List.ofFn
as well as characterizing lemmas.