ipso
ipso copied to clipboard
`array.remove : Int -> Array a -> (| Some : Array a, None : () |)` and `array.remove! : Int -> Array a -> Array a`
Example: deleteAt in https://github.com/LightAndLight/ipso/blob/main/examples/todolist.ipso