Language TLL

GitHub

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

---

Expansion

Typed Lambda Language

---

Headline

An applied, typed lambda calculus

---

Properties

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

---

Representations

None

---

Components

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

---