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

17 points by pyotrgalois 10y ago ↗ HN

1 comment

[ 2.8 ms ] story [ 10.1 ms ] thread

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