alt
Hacker News
pjmlp
•
yesterday at 7:04 PM
•
0 replies
•
view on HN
That would be formal rules, Lean style, and not related to 3 GL languages.
alt Hacker News