Hackernews posts about Dolt

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