tree 8f78f43a85c77aaea9960e35793b42b58275dba8
parent f4c9934171a22d376fb7c318ce2dcf80ab0eaf0e
author Kim Morrison <kim@tqft.net> 1737019446 +1100
committer Kim Morrison <kim@tqft.net> 1737019446 +1100

feat: align List.replicate/Array.mkArray/Vector.mkVector lemmas