agda/examples/outdated-and-incorrect/fileIO/Makefile

all : Base.hs IO.hs Main.hs IO/File.hs
	ghc --make Main.hs

%.hs : %.agda
	agda -c $<