3 ms·
Sure! Exponential time can be very small in practice. Agda proofs are proofs when the compiler stops churning.
by bodhiandphysics 4y ago
Sure! Exponential time can be very small in practice. Agda proofs are proofs when the compiler stops churning.