Interview with Brian McKenna: Roy, Purescript, Haskell, Idris, Dependent Types

17 点作者 pyotrgalois超过 9 年前

1 comment

iso-8859-1超过 9 年前

Another langauge that tries not to be based on lists of characters: <a href="https://github.com/lamdu/lamdu" rel="nofollow">https://github.com/lamdu/lamdu</a>