1. 30
  1. 5

    I’ll add my answer to the final question here, in case anyone can chime in.

    I want faster compilation, and better insight into where bottlenecks/slowdowns are in compilation.

    1. 2

      The new intermediate language that Eisenberg is making for dependently typed haskell (Pico) shows the reductions incrementally so I guess this will be possible soon.