Lama: an Algol-inspired language with S-expressions and first class functionsgithub.com/JetBrains-Research1 pointlproven6 years ago