HN Explorer

repetae

↗ HN profile [ 45.1 ms ] full profile
Karma
33
Created
June 8, 2015 (11y ago)
Submissions
0
  1. A Practical Introduction to Haskell GADTs by Richard Eisenberg (youtube.com)
    3 points 0
  2. Compile-time memory safety using Liquid Haskell (haskellforall.com)
    42 points 8
  3. Ling – High level system programming [32c3] (youtube.com)
    3 points 0
  4. Lazy Evaluation Illustrated [pdf] (takenobu-hs.github.io)
    10 points 0
  5. Dependently typed API servers in Haskell (github.com)
    4 points 0