Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
6 lines (4 sloc) 50 Bytes
all:
agda All.agda
clean:
rm *.agdai */*.agdai