YAS directory languages/TLL/Haskell/Language/TLL

GitHub

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

---

Properties

None

---

Components

• languages/TLL/Haskell/Language/TLL/Erasure.hs (Functional program)
• languages/TLL/Haskell/Language/TLL/Sample.hs (Functional program)
• languages/TLL/Haskell/Language/TLL/Syntax.hs (Functional program)
• languages/TLL/Haskell/Language/TLL/Typing.hs (Functional program)

---