We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 190b977 commit d2a1625Copy full SHA for d2a1625
examples/foreach.idr
@@ -5,5 +5,5 @@ import IdrisScript.Arrays
5
6
main : IO ()
7
main = do
8
- arr <- toJSArray {from=Int} {to=JSNumber} [1 .. 100]
9
- forEach (\elm => log (getProof elm)) arr
+ arr <- toJSArray {from=Int} {to=JSNumber} [1..100]
+ forEach (\elm => log (getProof !(pack elm))) arr
0 commit comments