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

module PreludeAll where
import PreludeBool public
import PreludeNat
import PreludeShow

open PreludeBool
open PreludeNat
open PreludeShow