Scripts for analyzing LiquidHaskell benchmark logs - View it on GitHub