2014–08–31
1393/06/09
ANNO·​DVODEVICESIMO·​DIE·​DVCENTESIMO·​TRICESIMO·​QVINTO·​VITÆ·​POVYA

I had just learned that the symbol for the Programming Language Theory is the Lambda due to the Lambda Calculus and well, Arendelle had to have a lambda.