Skip to content

Instantly share code, notes, and snippets.

@bitemyapp

bitemyapp/ThreeAintEven.idr

Forked from puffnfresh/ThreeAintEven.idr
Created June 23, 2014 21:46
Show Gist options
  • Save bitemyapp/2c7c41677c595f79a820 to your computer and use it in GitHub Desktop.
Save bitemyapp/2c7c41677c595f79a820 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