Jaro ReindersI've gotten way more excited about #DependentHaskell after learning more about the implementation plans. It is not a watered down version of #Agda, but really a novel design with unique synergies that hasn't been tested in any other language that is used by so many people.