Hackernews posts about Dolt

  1. Why don't you use dependent types? (lawrencecpaulson.github.io)