Skip to content

Instantly share code, notes, and snippets.

@Lysxia

Lysxia/T.v

Created April 23, 2019 11:47
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save Lysxia/3c67ae5919164787c992e78b62d85abe to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save Lysxia/3c67ae5919164787c992e78b62d85abe to your computer and use it in GitHub Desktop.
Download ZIP
Raw
T.v
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