Index of /~peterd/slides/AIMXXI-MeaningExplanationTalk

[ICO]NameLast modifiedSizeDescription

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