Language BTL

GitHub

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

---

Expansion

Basic TAPL Language

---

Headline

A trivial expression language

---

Details

There are expression forms on Boolean values and natural numbers inspired by a similar language in Pierce’s TAPL textbook.

---

Properties

• this similarTo Language:EL

---

Representations

• btl(text)
• btl(term)

---

Components

• languages/BTL/cs.bgl (Context-free grammar)
• languages/BTL/as.bsl (Algebraic signature)
• languages/BTL/ls.egl (Context-free grammar)
• languages/BTL/.hinzu (Annotation)
• languages/BTL/README.md (Markup)
• languages/BTL/scanner.pro (Logic program)
• languages/BTL/.ueber (Megamodel)

---