First Prev Next Last 2014-08-31 — 1393/06/09 ANNO DUODEVICESIMO DIE DUCENTESIMO TRICESIMO QUINTO VITAE POUYAE 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.