Skip to content

Instantly share code, notes, and snippets.

@Lysxia
Created April 23, 2019 11:47
Show Gist options
  • Select an option

  • Save Lysxia/3c67ae5919164787c992e78b62d85abe to your computer and use it in GitHub Desktop.

Select an option

Save Lysxia/3c67ae5919164787c992e78b62d85abe to your computer and use it in GitHub Desktop.
Require Import List.
Import ListNotations.
Fixpoint tuple (ts : list Type) : Type :=
match ts with
| [] => unit
| t :: ts' => (t * tuple ts')%type
end.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment