Timeline for Applying f for a part of list (MapAt is slow)
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 6, 2022 at 5:30 | comment | added | Michael E2 |
+1 because updating fres is so fast. Nice. I wonder how much the compile time should be counted. (The compile time is included in dres, but it's fairly negligible.)
|
|
| Mar 6, 2022 at 4:53 | history | undeleted | Gustavo Delfino | ||
| Mar 6, 2022 at 4:53 | history | edited | Gustavo Delfino | CC BY-SA 4.0 |
bug fix
|
| Mar 6, 2022 at 4:48 | history | deleted | Gustavo Delfino | via Vote | |
| Mar 6, 2022 at 4:19 | history | answered | Gustavo Delfino | CC BY-SA 4.0 |