PLFA Environments

Environments to facilitate execution of PLFA Chapters.

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)
38.8s
PLFA+ (Agda)
open import Data.String
24.0s
PLFA+ (Agda)
open import Relation.Binary.PropositionalEquality
open import Function
open import plfa.part1.Isomorphism
2.9s
PLFA+ (Agda)
open import plfa.part2.Lambda
open import plfa.part2.More
7.4s
PLFA+ (Agda)
open import Data.Unit
open import Function.Equivalence
open import Relation.Nullary.Decidable
open import Relation.Nullary.Product
1.2s
PLFA+ (Agda)
Runtimes (1)