« first day (341 days earlier)      last day (236 days later) » 

stasoid
stasoid
03:13
@Chance Agda is too slow to be included in the test driver. Standalone test is here.
 
2 hours later…
Chance
Chance
05:36
Oh shoot. Agda's already in. That's happening more and more to me.
 
12 hours later…
Chance
Chance
17:24
@WheatWizard I've got a coffeescript2 answer that has very little impact. Mind if I throw it in now? I'm just adding a bit more to the classic coffee script line and a couple p's for Alphuck in the prior line.
https://tio.run/##zL1rcyNJkiD2ufL0D/QlmGAXMgkg8SDBB15VKD662F1V5JCsqukBUaxEIgFkEchEZwIkUCy27Z5kc/s4k@5m587mdnXbM6uTac10H9ZOktmd7ZrJTPf1bH9E78c1meYfjNw9Il94kKyZXTuBBDIywsPDw8PDw@Pd0r3eb36TwA87dvrTbt8ZsZHpjVjbta5MV2PPpuypbnnFwrokIVTd7Y4Hpj3ySlKC5RmzbMNqwzsbOZembX00XfAvMDZ0na6rD9iop4@Y6Rn60PSYMx4NxyPmdBZHW2dsf@B8sDIYc2DZXQAbme7QNUcUvsHYa7uvD1ptfSakOJPg0IVwj@2Z/U@DTyNmOIOBbrc9gNxk7KXjeibCG6bnORh9i7HJvmnMIN0GUN21nBf1V1/OBO0w9iWQqA/75oTpLW/k6sbIcmzkSY6dvnp9ejwTI59nb84ODmZ9C@zrjGOzg7FxORu0zl67nt7XZ/FvsPp45ByOZv2LrN41bZ0VtB2tMBu4yZ65ejwKFeex67THBrJ61DOBAiyejtU3PckA8BobCqHQ0MESzDX1NgcDrKfOwIxS7THbNNv…
 
2 hours later…
Wheat Wizard
Wheat Wizard
19:01
@Chance Go ahead.

« first day (341 days earlier)      last day (236 days later) »