Index of /SLPJ-collaborative-papers/fun-with-type-funs

	Name	Last modified	Size	Description
	Parent Directory		-
	Mutation.hs	26-Mar-2009 14:48	804
	Generic.hs	27-Mar-2009 02:59	1.6K
	Replace.hs	27-Mar-2009 02:59	1.6K
	typefun.txt	29-Mar-2009 12:24	1.1K
	mcbride.bst	29-Mar-2009 12:27	33K
	PrintScan.hs	15-Apr-2009 00:11	4.7K
	Tree.hs	17-Apr-2009 21:55	676
	PrintScanSPJ.hs	20-Apr-2009 15:10	3.4K
	PrintF.hs	23-Apr-2009 11:21	4.6K
	Arithm.hs	12-May-2009 03:58	2.0K
	Graph.hs	14-May-2009 06:16	631
	Lock.hs	14-May-2009 06:16	4.1K
	Memo.hs	14-May-2009 06:16	2.6K
	PrintScanGADT.hs	14-May-2009 06:16	4.5K
	Session.hs	14-May-2009 06:16	2.1K
	Coercion.hs	20-May-2009 01:10	1.2K
	typefun.bib	20-May-2009 01:10	27K
	Map.hs	03-Jun-2009 04:34	1.4K
	Map1.hs	30-Jun-2009 01:51	5.9K
	Makefile	10-Feb-2010 11:01	458
	fun-with-type-funs-for-springer/	03-Mar-2010 15:55	-
	typefun.tex	05-Mar-2010 10:11	90K