search

google-research / dex-lang

Research language for array processing in the Haskell/ML family
BSD 3-Clause "New" or "Revised" License
1.58k stars 107 forks source link

Trim the last UnitTy off the end of captured telescopes #1225

Closed axch closed 1 year ago

axch commented 1 year ago

This doesn't seem to make much difference for compile times, but at least it makes code dumps a little less noisy.