Video: dependently typed programming in Idris tech talk #1 Post by ciderpunx » Thu, Jan 29, 2015, 9:23 AM UTC Video: dependently typed programming in Idris tech talkvimeo.com