Hacker News New top story on Hacker News: Higher-Order Type-Level Programming in Haskell [pdf] By new Monday, March 18, 2019 Comment Edit Higher-Order Type-Level Programming in Haskell [pdf] 93 by justinhj | 10 comments on Hacker News. Related PostsNew top story on Hacker News: Programming the Z3 SMT solverNew top story on Hacker News: George Boole and the Calculus of Thought (2018)New top story on Hacker News: Apple Names Deirdre O’Brien Senior Vice President of Retail and PeopleNew top story on Hacker News: Making Swallowing Safer for those who have trouble swallowing
![New top story on Hacker News: Higher-Order Type-Level Programming in Haskell [pdf]](https://3.bp.blogspot.com/-KYs7bNsL5eQ/V2d1Z0U4Y7I/AAAAAAAAm-Y/VPHnY95ua4ILVJDoP-FicZ8tPJpQpza5QCLcB/s600/no-thumbnail.jpg "New top story on Hacker News: Higher-Order Type-Level Programming in Haskell [pdf]")
0 Response to "New top story on Hacker News: Higher-Order Type-Level Programming in Haskell [pdf]"
Post a Comment