lean-0.0.0.1: Prelude.hs

{-# LANGUAGE PackageImports #-}

module Prelude (module A) where

import "base" Prelude as A hiding (drop, id, (.))
import Control.Category as A
import Data.Functor.Compose as A