Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
doersino
on May 23, 2020
|
parent
|
context
|
favorite
| on:
Show HN: A dependently-typed programming language ...
The introduction at the top of the Readme is great – it succinctly explains what the project does, how it relates to existing languages, and why the reader should care.
Way too many projects on GitHub and the likes don't do this well (or at all).
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Way too many projects on GitHub and the likes don't do this well (or at all).