Closed jfmengels closed 11 months ago
Adds simplifications for Array.initialize #174
Array.initialize
Array.initialize 0 f
Array.empty
Array.initialize -1 f
Adds simplifications for
Array.initialize
#174Array.initialize 0 f
->Array.empty
Array.initialize -1 f
->Array.empty