if(now()=sysdate(),sleep(15),0) in Homotopy Type Theory

[[!redirects Sandbox &gt; history]]