Skip to content

Instantly share code, notes, and snippets.

@puffnfresh

puffnfresh/ThreeAintEven.idr

Created May 7, 2014 19:44
Show Gist options
  • Save puffnfresh/a0fb52ac9612582195e2 to your computer and use it in GitHub Desktop.
Save puffnfresh/a0fb52ac9612582195e2 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
ThreeAintEven.idr
total
threeAintEven : Even 3 -> _|_
threeAintEven (evenS e) with (e)
| (evenS _) impossible
| (evenZ) impossible
threeAintEven evenZ impossible
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment