Interview with Brian McKenna: Roy, Purescript, Haskell, Idris, Dependent Types | Dark Hacker News

Dark Hacker News

new|best|ask|show|jobs

Built with the HackerNews API. Developed by LJT.AI

Note: The HackerNews API provides up to 500 stories per category

Interview with Brian McKenna: Roy, Purescript, Haskell, Idris, Dependent Types | Dark Hacker News

Interview with Brian McKenna: Roy, Purescript, Haskell, Idris, Dependent Types(medium.com)

17 points by pyotrgalois 10 years ago | 1 comment

iso-8859-1 10 years ago |

Another langauge that tries not to be based on lists of characters: https://github.com/lamdu/lamdu