Type recursions instantiate the same evolutionary dynamics as biological populations, making Price E...
This proposition has not been edited since the history system was added.