criterion is extremely good. You really should use it if you’re doing some Haskell.
Hey! Great talk at Strange Loop today! You impressed all my coworkers (who usually view modern FP with suspicion) with your Idris.
Thank you. Get your coworkers to come up to me, I have lots more to show!
criterion is extremely good. You really should use it if you’re doing some Haskell.
Hey! Great talk at Strange Loop today! You impressed all my coworkers (who usually view modern FP with suspicion) with your Idris.
Thank you. Get your coworkers to come up to me, I have lots more to show!