HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by kvb | Hacker News Reader
Full thread
kvb
·
See also pure type systems
https://en.wikipedia.org/wiki/Pure_type_system
View on HN
No comments yet.