# instalar dependencias (ubuntu/debian)
# sudo apt-get install libghc-gtk-dev libghc-parsec2-dev libghc-text-dev

all: lambda.lhs
	ghc -O2 --make -x lhs lambda.lhs
	mv lambda ..

doc: lambda.lhs
	cp lambda.lhs lambda.tex
	xelatex lambda.tex 
	xelatex lambda.tex
	mv lambda.pdf ..
	
clean: 
	rm -f lambda.aux lambda.hi lambda.log lambda.o lambda.tex



