Prelude/Product.agda


1
2
3
4
5
6
7
8
9

module B.Prelude.Product where

import Data.Product

open Data.Product
  using (_×_; proj₁; proj₂; _,_; _,′_; curry; uncurry; uncurry′)
  public

module Product where