Skip to content

Instantly share code, notes, and snippets.

@techno-tanoC
Last active March 20, 2019 08:10
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save techno-tanoC/f7a463459299c229ee82 to your computer and use it in GitHub Desktop.
Save techno-tanoC/f7a463459299c229ee82 to your computer and use it in GitHub Desktop.
集合論のあれ
data Fruit = Apple | Lemon | Banana
data Beverage = Coffee | Tea | Beer
data Temperature = Hot | Cool
-{
Food = { Food, Lemon, Curry }
Flavor = { Sweet, Sour, Spicy }
Temperature = { Hot, Cool }
-}
data Drink = Drink Beverage Temperature
deriving (Show, Eq)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment