ivor-0.1.5: lib/list.tt

Load "nat.tt";

Data List (A:*) : *
  = nil : List A
  | cons : (x:A)->(xs:List A)->(List A);