Index of /~peterd/slides/AIMXXI-MeaningExplanationTalk

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory   -  
[   ]Fin.agda 25-May-2015 14:41 650  
[   ]Product.agda 27-May-2015 16:29 956  
[   ]PropositionalLogic.agda07-Jun-2015 18:57 1.0K 
[   ]SyntaxComputationRul..>04-Jun-2015 17:28 1.3K 
[   ]Vector.agda 02-Jun-2015 09:45 1.4K 
[   ]SyntaxComputationRul..>05-Jun-2015 13:50 1.6K 
[   ]TypingJudgments.agda 04-Jun-2015 17:40 1.6K 
[   ]Bool.agda 06-Jun-2015 16:23 2.5K 
[   ]Nat.agda 07-Jun-2015 18:04 3.0K 
[   ]EqualityJudgments.agda 05-Jun-2015 14:39 3.6K