PLFA Environments

module PLFA2Warmup where

open import Data.List

open import Data.List.All

open import Data.List.Any

open import Data.List.Membership.Propositional

open import Data.List.Properties

open import Algebra.Structures using (IsMonoid)

open import Relation.Unary using (Decidable)

open import Relation.Binary using (Decidable)

open import Data.String

open import Relation.Binary.PropositionalEquality

open import Function

open import plfa.part1.Isomorphism

open import plfa.part2.Lambda

open import plfa.part2.More

open import Data.Unit

open import Function.Equivalence

open import Relation.Nullary.Decidable

open import Relation.Nullary.Product