------------------------------------------------------------------------
-- The Agda standard library
--
-- Functions
------------------------------------------------------------------------
{-# OPTIONS --cubical-compatible --safe #-}
module Function where
open import Function.Core public
open import Function.Base public
open import Function.Strict public
open import Function.Definitions public
open import Function.Structures public
open import Function.Structures.Biased public
open import Function.Bundles public
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4