Skip to content

Instantly share code, notes, and snippets.

@wires

wires/*scratch*

Created November 11, 2011 13:24
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 wires/1357988 to your computer and use it in GitHub Desktop.
Save wires/1357988 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
*scratch*
Require Import Arith.
(* Robberts check that takes a looooong time.. for breaking roosterbots :P *)
Check (tt : if let f := fix f n := match n with O => 1 | S n => f n + f n end in beq_nat (f 20) (f 20) then unit else bool).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment