Idris2-boot
Idris2-boot copied to clipboard
"Undefined name filter"
If possible, please include complete self contained source files (for example by uploading to https://gist.github.com) that exhibit the issue in addition to quoting from them here. The smaller the example the better!
Steps to Reproduce
filter (\ARG => ARG < 3) [0, 1, 2, 3, 4]
Expected Behavior
[0, 1, 2] : List Integer
Observed Behavior
(interactive):1:1--1:41:Undefined name filter
That's right, filter isn't in the prelude, it's in Data.List.