top | item 32093611 (no title) xmgplays | 3 years ago There is ATS as an example of an imperative language with dependent types. discuss order hn newest No comments yet.
No comments yet.