[#55] Single-pass functions detection in Analysis

kowainik / stan

🕵️ Haskell STatic ANalyser

https://kowainik.github.io/projects/stan

Mozilla Public License 2.0

565 stars 48 forks source link

Closed chshersh closed 4 years ago

chshersh commented 4 years ago

Resolves #55

This actually speeded up the performance a lot! I tested on the agda repository.