Created
July 3, 2018 22:18
-
-
Save martinsson/db2be0d5803cfecd2e2e99e400c9cff4 to your computer and use it in GitHub Desktop.
FizzBuzz as an alias for a tuple
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| ||| the type Fizzbuzz is just an alias for the tuple of FizzT and BuzzT | |
| Fizzbuzz: Nat -> Type | |
| Fizzbuzz n = (FizzT n, BuzzT n) |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment