Skip to main content

Questions tagged [notation]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
4 votes
1 answer

Formal Representation of Haskell Data-Types

I come from Haskell programming and currently writing my (Diploma/Master) thesis. I'm having trouble finding a formal/mathematical notation for a Haskell data-type. The Haskell data type is: ...
Johannes Weiss's user avatar