Index of /~mhe/dialogue

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]Agda.css17-May-2015 11:35 1.2K 
[TXT]church-dialogue-internal.html12-May-2013 08:04 1.0M 
[TXT]church-dialogue-internal.lagda12-May-2013 08:03 24K 
[TXT]church-dialogue.html10-May-2013 16:45 203K 
[TXT]church-dialogue.lagda10-May-2013 16:45 7.6K 
[TXT]dialogue-lambda-internal.html03-Dec-2013 16:12 882K 
[TXT]dialogue-lambda-internal.lagda03-Dec-2013 16:13 35K 
[TXT]dialogue-lambda.html27-May-2013 01:06 510K 
[TXT]dialogue-lambda.lagda27-May-2013 01:06 22K 
[   ]dialogue-to-brouwer.agda26-Feb-2017 20:44 3.5K 
[TXT]dialogue-to-brouwer.html26-Feb-2017 20:44 77K 
[TXT]dialogue-without-oracle.agda14-Mar-2015 14:58 13K 
[TXT]dialogue-without-oracle.html14-Mar-2015 10:00 350K 
[TXT]dialogue.html03-Jun-2013 11:07 638K 
[TXT]dialogue.lagda03-Jun-2013 11:05 75K 
[   ]dialogue.pdf03-Jun-2013 11:05 564K 
[   ]dialogue.tex03-Jun-2013 11:05 155K 
[TXT]do03-Jun-2013 11:05 307  
[TXT]laconic-dialogue.html10-May-2013 16:28 507K 
[TXT]laconic-dialogue.lagda04-May-2013 07:30 19K 
[TXT]readme03-Jun-2013 11:05 197  

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