The 2.1.0 version of Lambda Calculator SE for Mac was available to download on the developer's website when we last checked. We cannot confirm if there is a free download of this app available.
Please check the Mac app with an antivirus before launch as it is downloaded from the developer's website, and we cannot ensure that it is safe. The program is included in Education Tools. The actual developer of this free software for Mac is Lucas Champollion, Josh Tauberer, Maribel Romero, and Dylan Bumford.
From the developer:
The Lambda Calculator is an interactive, graphical application to help students of natural language semantics practice derivations in the typed lambda calculus. It is designed for both students and teachers, with modules for online classroom instruction, graded homework assignments, and self-guided practice.
You may want to check out more Mac applications, such as SpokeLengthCalculator, PDF2Office SE for iWork 2 or Strata Design 3D SE 7, which might be similar to Lambda Calculator SE.
Web Development
Device Assistants