Skip to content

Instantly share code, notes, and snippets.

@moutend

moutend/define ( x ) -> x

Created March 21, 2014 12:42
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save moutend/9685346 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save moutend/9685346 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
define ( x ) -> x
Coq < Definition id (A : Type)(x : A) : A := x.
id is defined
Coq < Eval compute in id nat 8
Coq < .
= 8
: nat
Coq <
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment