1. 8
  1.  

  2. 3

    criterion is extremely good. You really should use it if you’re doing some Haskell.

    1. 2

      Hey! Great talk at Strange Loop today! You impressed all my coworkers (who usually view modern FP with suspicion) with your Idris.

      1. 2

        Thank you. Get your coworkers to come up to me, I have lots more to show!