2014-08-31 First Prev Next Last 1393/06/09 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.