I remember really liking his book Proofs and Types which was a revelation after struggling with Martin-Löf’s writings. One outcome of that attention was a nice

I remember really liking his book Proofs and Types which was a revelation after struggling with Martin-Löf’s writings. One outcome of that attention was a nice and blazingly fast for an FPL called Clean which offered a more modern Haskell/MLish syntax. Actually came across this previous discussion while searching for a link: https://news.ycombinator.com/item?id=15937597 https://news.ycombinator.com/item?id=15937597