AndyShiue/Ende-readme
Ende is a hypothetical programming language.
4 best points · 0 comments · 1 Hacker News post · 23 GitHub stars · View on GitHub
Hacker News discussions
- Ende: a proposed dependently typed programming language (4 points, 0 comments, by acjohnson55, 2016-05-13)