edwinb/Idris-dev — pull request #243 by radekm (2013-03-18 10:24:08+00:00)
Title: JavaScript: Fixed array operations

The original code for getting an element at the given index

```
| "[]" == fun
, (idx:[]) <- args =
array ++ index idx
```

does not work since `array` is the empty string. Same problem when putting the element at the given index.