3 ms·Interview with Brian McKenna: Roy, Purescript, Haskell, Idris, Dependent Types17 points by pyotrgalois 11y agoiso-8859-1 11y agoAnother langauge that tries not to be based on lists of characters: https://github.com/lamdu/lamdu https://github.com/lamdu/lamdu