Open SRechenberger opened 7 years ago
For, e.g., the input zip "abc" (map (1 +) [1,2,3]), clicking the outermost box evaluates map and zip at once, yielding ('a', (1 +) 1) : zip "bc" (map (1 +) [2,3]). Is this behavior desired? Shouldn't the outermost box be inevaluable?
zip "abc" (map (1 +) [1,2,3])
map
zip
('a', (1 +) 1) : zip "bc" (map (1 +) [2,3])
For, e.g., the input
zip "abc" (map (1 +) [1,2,3]), clicking the outermost box evaluatesmapandzipat once, yielding('a', (1 +) 1) : zip "bc" (map (1 +) [2,3]). Is this behavior desired? Shouldn't the outermost box be inevaluable?