Skip to content

Instantly share code, notes, and snippets.

@StevenXL

StevenXL/cardinality.txt

Created March 8, 2019 17:52
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 StevenXL/096712d256b4d514d677e2554ab86001 to your computer and use it in GitHub Desktop.
Save StevenXL/096712d256b4d514d677e2554ab86001 to your computer and use it in GitHub Desktop.
Download ZIP
Cardinality
Raw
cardinality.txt
| Either Bool (Bool, Maybe Bool -> Bool)| =
|Bool| + |(Bool, Maybe Bool -> Bool)| =
2 + |(Bool, Maybe Bool -> Bool)| =
2 + (|Bool| * |Maybe Bool -> Bool|) =
2 + (2 * |Maybe Bool -> Bool|) =
2 + (2 * |Bool|^(Maybe Bool)) =
2 + (2 * 2^(Maybe Bool)) =
2 + (2 * 2^(|Bool| + 1)) =
2 + (2 * 2^(2 + 1)) =
2 + (2 * 2^(3)) =
2 + (2 * 8) =
2 + 16 =
18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment