Commit cb5ae96
committed
Add an explanatory comment and make function prelude nicer
1 parent b9b8d7d commit cb5ae96
1 file changed
Lines changed: 8 additions & 1 deletion
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2708 | 2708 | | |
2709 | 2709 | | |
2710 | 2710 | | |
2711 | | - | |
| 2711 | + | |
| 2712 | + | |
| 2713 | + | |
| 2714 | + | |
| 2715 | + | |
| 2716 | + | |
| 2717 | + | |
| 2718 | + | |
2712 | 2719 | | |
2713 | 2720 | | |
2714 | 2721 | | |
| |||
0 commit comments