Hacker News new | ask | show | jobs
by kvb 2666 days ago
See also pure type systems

https://en.wikipedia.org/wiki/Pure_type_system