Index of /~peterd/agda/Semantics

[ICO]NameLast modifiedSizeDescription

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