MiniAgda-0.2016.12.19: Makefile

install :
	cabal install

# EOF