YAS directory languages/ULL/Haskell/Language/ULL

GitHub

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

---

Properties

None

---

Components

• languages/ULL/Haskell/Language/ULL/Closure.hs (Functional program)
• languages/ULL/Haskell/Language/ULL/Sample.hs (Functional program)
• languages/ULL/Haskell/Language/ULL/SmallStep.hs (Functional program)
• languages/ULL/Haskell/Language/ULL/Substitution.hs (Functional program)
• languages/ULL/Haskell/Language/ULL/Syntax.hs (Functional program)
• languages/ULL/Haskell/Language/ULL/Value.hs (Functional program)

---