Skip to content
GitLab
Explore
Sign in
Register
Add two bangs to improve perf of flattening
Code
Review changes
Check out branch
Download
Patches
Plain diff
Simon Peyton Jones
requested to merge
wip/T18502
into
master
Jul 27, 2020
Overview
16
Commits
1
Pipelines
4
Changes
1
Expand
This tiny MR improves the perf of the flattener by adding two bangs
Merge request reports