martinsson/fizzbuzz.idr

Last active July 3, 2018 12:50

Star (0) You must be signed in to star a gist
Fork (0) You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/martinsson/2ad793d63dbc825e87b0423d6876bfc2.js"></script>
Save martinsson/2ad793d63dbc825e87b0423d6876bfc2 to your computer and use it in GitHub Desktop.

Download ZIP

One single constructor of initial solution

Raw

fizzbuzz.idr

	data Fizzbuzz : (k: Nat) -> Type where
	Fizz : (k: Nat) -> IsFizz k -> Not (IsBuzz k) -> Fizzbuzz k

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment