Comment Comment by kvb See also pure type systemshttps://en.wikipedia.org/wiki/Pure_type_system parent kvb 7 years ago
https://en.wikipedia.org/wiki/Pure_type_system