Hacker News new | ask | show | jobs
Interview with Brian McKenna: Roy, Purescript, Haskell, Idris, Dependent Types (medium.com)
17 points by pyotrgalois 3954 days ago
1 comments

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