Y Hacker News new | ask | show | jobs

user: repetae created: 2015-06-08 karma: 33 submissions: 0 points | 0 comments A Practical Introduction to Haskell GADTs by Richard Eisenberg 3 points | 0 comments Compile-time memory safety using Liquid Haskell 42 points | 8 comments Ling – High level system programming [32c3] 3 points | 0 comments Lazy Evaluation Illustrated [pdf] 10 points | 0 comments Dependently typed API servers in Haskell 4 points | 0 comments 0 points | 0 comments