Extensive Infinite Games and Escalation, an exercise in Agda

Escalation in games is when agents keep playing forever. Based on formal proofs we claim that if agents assume that resource are infinite, escalation is rational.