Implementing dependent types: how hard could it be? (Part 1) jerrington.me 1 points by fanf2 5 hours ago