Well, ​Dr. Chris Reitwiessner is in charge of the solidity project I believe. I have been told he's not big on functional / richly typed systems, but I don't h

Well, ​Dr. Chris Reitwiessner is in charge of the solidity project I believe. I have been told he's not big on functional / richly typed systems, but I don't have any actual knowledge.