Hacker News new | ask | show | jobs
by xmgplays 1437 days ago
There is ATS as an example of an imperative language with dependent types.