L lawrencecpaulson.github.io Why don't you use dependent types? 269 points baruchel 1 year ago 116 comments
