Index of /~peterd/agda/Semantics

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[   ]IdentityReflection.a..>2015-05-30 19:22 377  
[   ]IdentityReflection.agda2015-05-31 13:50 470  
[TXT]SyntaxComputationRul..>2015-06-08 22:43 1.4K 
[TXT]SyntaxComputationRul..>2015-06-05 13:50 1.6K 
[   ]TypingJudgments.agda 2015-06-04 17:40 1.6K 
[   ]SoundnessOfRules.agdai 2015-05-14 18:57 2.0K 
[   ]SoundnessOfRules.agda 2015-05-31 13:36 2.1K 
[TXT]SystemT.agda 2015-06-02 11:37 2.9K 
[   ]EqualityJudgments1.agda2015-06-03 11:55 3.1K 
[   ]EqualityJudgments.agda 2015-06-05 14:39 3.6K 
[   ]TypingJudgments.agdai 2015-06-06 12:03 12K 
[   ]SyntaxComputationRul..>2015-06-08 22:43 14K 
[   ]SyntaxComputationRul..>2015-06-05 13:50 16K 
[   ]SystemT.agdai 2015-06-03 10:33 23K 
[   ]EqualityJudgments.agdai2015-06-05 14:20 26K 
[   ]EqualityJudgments1.a..>2015-06-03 11:23 26K