Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
We start with the module header: module Agda where open import Relation.Binary.PropositionalEquality open ≡-Reasoning open import Data.Function using (_◦_) This is the identity function:
Add to Reading List
Document Date: 2015-03-03 07:36:01
Open Document
File Size: 73,46 KB
Share Result on Facebook
SocialTag
Universal quantification
Associative property
Type
Logic
Mathematics
Abstract algebra
Quantification