FinMap.lemma-lookupM-delete is another variant of Data.Vec.Properties.lookup∘update′
[~helmut/bidiragda.git] / Makefile
1 AGDA ?= agda
2 AGDALIB ?= /usr/share/agda-stdlib
3
4 all:Everything.agdai
5 clean:
6         rm -f *.agdai
7 Everything.agdai:$(wildcard *.agda)
8         $(AGDA) -i. -i$(AGDALIB) Everything.agda