Index of /~mhe/dialogue

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[TXT]Agda.css17-May-2015 11:35 1.2K 
[TXT]church-dialogue-internal.html03-Jun-2019 21:42 1.0M 
[TXT]church-dialogue-internal.lagda04-Jan-2020 11:32 24K 
[TXT]church-dialogue.html03-Jun-2019 21:42 203K 
[TXT]church-dialogue.lagda04-Jan-2020 11:33 7.5K 
[TXT]dialogue-lambda-internal.html03-Jun-2019 21:42 882K 
[TXT]dialogue-lambda-internal.lagda04-Jan-2020 11:34 35K 
[   ]dialogue-lambda.agdai18-Sep-2018 18:31 206K 
[TXT]dialogue-lambda.html03-Jun-2019 21:42 510K 
[TXT]dialogue-lambda.lagda04-Jan-2020 18:09 22K 
[   ]dialogue-to-brouwer.agda26-Feb-2017 20:44 3.5K 
[TXT]dialogue-to-brouwer.html03-Jun-2019 21:42 76K 
[TXT]dialogue-without-oracle.agda14-Mar-2015 14:58 13K 
[   ]dialogue-without-oracle.agdai18-Sep-2018 18:44 134K 
[TXT]dialogue-without-oracle.html03-Jun-2019 21:42 350K 
[TXT]dialogue.html03-Jun-2019 21:42 638K 
[TXT]dialogue.lagda04-Jan-2020 11:31 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.html03-Jun-2019 21:42 507K 
[TXT]laconic-dialogue.lagda04-Jan-2020 11:32 18K 
[TXT]readme03-Jun-2013 11:05 197  

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