1. 7
    A Little Taste of Dependent Types (David Thrane Christiansen) video compsci haskell youtube.com
    SeanW avatar via SeanW 4 days ago | cached | no comments

  1.