<p>This question</p>

<p><a href="https://stats.stackexchange.com/questions/376141/what-is-a-distribution-over-functions">What is a distribution over functions?</a></p>

<p>is a duplicate of</p>

<p><a href="https://math.stackexchange.com/questions/2297424/extending-a-distribution-over-samples-to-a-distribution-over-functions">https://math.stackexchange.com/questions/2297424/extending-a-distribution-over-samples-to-a-distribution-over-functions</a></p>

<p>but I can't close it as a duplicate since it's been asked on a different site. What should I do? Copying the other answer here seems a waste of space, and closing as off-topic is wrong, IMO.</p>
