Description

Definitions

builtin list type List (a : Type)Source #

Inductive list.

Constructors

\| nil	The empty list
\| :: a (List a)	An element followed by a list