You can follow the discussion on Unifying Programming and Math – The Dependent Type Revolution without having to leave a comment. Cool, huh? Just enter your email address in the form here below and you're all set.