You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
The text was updated successfully, but these errors were encountered:
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
The text was updated successfully, but these errors were encountered: