Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Directory listing for Agda-2.3.2.2 source tarball
Agda-2.3.2.2/examples/outdated-and-incorrect/iird/
.cvsignore
DefinitionalEquality.agda
Dummy.agda
Examples.agda
IID-New-Proof-Setup.agda
IID-Proof-Setup.agda
IID-Proof-Test.agda
IID-Proof.agda
IID.agda
IIDg.agda
IIDr.agda
IIRD.agda
IIRDg.agda
IIRDr.agda
Identity.agda
LF.agda
Main.agda
Proof.agda
Test.agda
Logic/
ChainReasoning.agda
Proof/
.cvsignore
Setup.agda
new/
IID.agda