Live data from Hacker News

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

Post reply on HN

Print view View original

1–2 of 2 posts

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

#1

Post by pyotrgalois » Wed, Aug 26, 2015, 1:56 PM UTC

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

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

#2

Post by iso-8859-1 » Thu, Aug 27, 2015, 1:08 AM UTC

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

Post reply on HN