Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
bvrmn
on Aug 7, 2019
|
parent
|
context
|
favorite
| on:
Arend: Theorem Prover Based on Homotopy Type Theor...
All "cleverness" usually comes from struggle with parser generator. It's too many languages in the wild with weird syntax due to lack of interest/skills in proper parser.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: