Agda-2.3.2.2: examples/outdated-and-incorrect/Alonzo/Primitive.agda

module Primitive where