Startseite Erkunden Hilfe
Anmelden
caryoscelus
/
agda
Beobachten 1
Favorit hinzufügen 0
Fork 0
Dateien Issues 0 Pull-Requests 0 Wiki
Branch: js_amd
Branches Tags
agda
/
examples
/
outdated-and-incorrect
/
iird
Andrés Sicard-Ramírez 06a20b7169 [ cleaning ] Removed .cvsignore files. vor 9 Jahren
..
Logic 689c6aaa09 Moved away or fixed many broken example files. vor 16 Jahren
Proof 06a20b7169 [ cleaning ] Removed .cvsignore files. vor 9 Jahren
new 23c9474092 [ whitespace ] untabify everything vor 10 Jahren
DefinitionalEquality.agda 23c9474092 [ whitespace ] untabify everything vor 10 Jahren
Dummy.agda 689c6aaa09 Moved away or fixed many broken example files. vor 16 Jahren
Examples.agda 689c6aaa09 Moved away or fixed many broken example files. vor 16 Jahren
IID-New-Proof-Setup.agda 23c9474092 [ whitespace ] untabify everything vor 10 Jahren
IID-Proof-Setup.agda 23c9474092 [ whitespace ] untabify everything vor 10 Jahren
IID-Proof-Test.agda 23c9474092 [ whitespace ] untabify everything vor 10 Jahren
IID-Proof.agda 689c6aaa09 Moved away or fixed many broken example files. vor 16 Jahren
IID.agda 23c9474092 [ whitespace ] untabify everything vor 10 Jahren
IIDg.agda 23c9474092 [ whitespace ] untabify everything vor 10 Jahren
IIDr.agda 23c9474092 [ whitespace ] untabify everything vor 10 Jahren
IIRD.agda 23c9474092 [ whitespace ] untabify everything vor 10 Jahren
IIRDg.agda 689c6aaa09 Moved away or fixed many broken example files. vor 16 Jahren
IIRDr.agda 689c6aaa09 Moved away or fixed many broken example files. vor 16 Jahren
Identity.agda 23c9474092 [ whitespace ] untabify everything vor 10 Jahren
LF.agda dcd3b453cb [ fix-agda-whithespace ] Added .agda, .cabal and .md files. vor 10 Jahren
Main.agda 689c6aaa09 Moved away or fixed many broken example files. vor 16 Jahren
Proof.agda 23c9474092 [ whitespace ] untabify everything vor 10 Jahren
Test.agda 23c9474092 [ whitespace ] untabify everything vor 10 Jahren