Index of /TEACH/Semin/Progs/Djinn

	Name	Last modified	Size	Description
	Parent Directory		-
	Djinn.hs	2011-03-30 02:36	13K
	HCheck.hs	2011-03-30 02:36	4.5K
	HTypes.hs	2011-03-30 02:36	16K
	Help.hs	2011-03-30 02:36	5.8K
	LJT.hs	2011-03-30 02:36	16K
	LJTFormula.hs	2011-03-30 02:36	3.2K
	LJTParse.hs	2011-03-30 02:36	2.1K
	MJ.hs	2011-03-30 02:36	10K
	MLJT.hs	2011-03-30 02:36	804
	Makefile	2011-03-30 02:36	909
	MonadBFS.hs	2011-03-30 02:36	1.3K
	Poly.hs	2011-03-30 02:36	7.0K
	REPL.hs	2011-03-30 02:36	1.0K
	Util.hs	2011-03-30 02:36	575
	examples.htm	2011-03-30 02:36	2.2K
	examples.out	2011-03-30 02:36	4.2K
	ljt.p	2011-03-30 02:36	12K