Index of /~mhe/dialogue

	Name	Last modified	Size	Description
	Parent Directory		-
	Agda.css	03-Jun-2013 11:07	1.2K
	church-dialogue-internal.html	12-May-2013 08:04	1.0M
	church-dialogue-internal.lagda	12-May-2013 08:03	24K
	church-dialogue.html	10-May-2013 16:45	203K
	church-dialogue.lagda	10-May-2013 16:45	7.6K
	dialogue-lambda.html	27-May-2013 01:06	510K
	dialogue-lambda.lagda	27-May-2013 01:06	22K
	dialogue.html	03-Jun-2013 11:07	638K
	dialogue.lagda	03-Jun-2013 11:05	75K
	dialogue.pdf	03-Jun-2013 11:05	564K
	dialogue.tex	03-Jun-2013 11:05	155K
	do	03-Jun-2013 11:05	307
	laconic-dialogue.html	10-May-2013 16:28	507K
	laconic-dialogue.lagda	04-May-2013 07:30	19K
	readme	03-Jun-2013 11:05	197