top | item 21843181 (no title) jcora | 6 years ago This is not a practical language with dependent types tho lol discuss order hn newest No comments yet.
No comments yet.