Language ULL

GitHub

https://github.com/softlang/yas/tree/master/languages/ULL

---

Expansion

Untyped Lambda Language

---

Headline

An applied, untyped lambda calculus

---

Properties

• this similarTo Language:TLL
• this relatesTo Language:Lambda calculus
• this facilitates Functional programming
• this embeds Language:BTL

---

Representations

None

---

Components

• languages/ULL/.hinzu (Annotation)
• languages/ULL/README.md (Markup)
• languages/ULL/.ueber (Megamodel)

---