Hacker News new | ask | show | jobs
Video: dependently typed programming in Idris tech talk (vimeo.com)
1 points by ciderpunx 4152 days ago