DEV Community

s
s

Posted on

1

Answer:

The notation you mention is not Haskell code, but a meta-notation for substitution which is frequently used in programming languages theory.

If e and t are Haskell expressions, and x is a Haskell variable, we write e [x := t] to denote the expression e where all the free occurrences…

Top comments (0)

Image of Docusign

🛠️ Bring your solution into Docusign. Reach over 1.6M customers.

Docusign is now extensible. Overcome challenges with disconnected products and inaccessible data by bringing your solutions into Docusign and publishing to 1.6M customers in the App Center.

Learn more

👋 Kindness is contagious

Please leave a ❤️ or a friendly comment on this post if you found it helpful!

Okay