Index of /~mhe/papers/msfp2010/MSFP2010/agda

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]About.txt30-Jul-2010 17:19 340  
[   ]Choice.agda30-Jul-2010 17:19 1.2K 
[   ]Equality.agda30-Jul-2010 17:19 1.3K 
[   ]Induction.agda30-Jul-2010 17:19 1.2K 
[TXT]J-Eliminations.agda30-Jul-2010 17:19 1.9K 
[   ]J-Induction.agda30-Jul-2010 17:19 579  
[TXT]JK-Algebras.agda30-Jul-2010 17:19 5.6K 
[TXT]JK-Choice.agda30-Jul-2010 17:19 4.0K 
[   ]JK-EM.agda28-Jan-2011 22:45 710  
[   ]JK-Miscelanea.agda30-Jul-2010 17:19 1.8K 
[TXT]JK-Monads.agda30-Jul-2010 17:19 6.0K 
[TXT]JK-Shifts.agda13-Aug-2010 00:07 4.6K 
[   ]Logic.agda30-Jul-2010 17:19 1.4K 
[   ]LogicalFacts.agda30-Jul-2010 17:19 871  
[   ]clean13-Aug-2010 00:07 21  
[   ]course-of-values-J-shift.agda30-Jul-2010 17:19 1.6K 
[   ]course-of-values.agda30-Jul-2010 17:19 831  
[   ]finite-sets.agda30-Jul-2010 17:19 3.7K 

Apache Server at staffweb-lb-1.cs.bham.ac.uk Port 80