caryoscelus/agda

Автор	SHA1 Съобщение	Дата
Robert Estelle	1b0a5aff0d make: Consistently invoke make via $(MAKE)	преди 4 години
Andreas Abel	b6f4d90936 [ doc ] Re #2851: updated user manual on literal overloading.	преди 7 години
Andreas Abel	18a1dd18a1 [ doc ] Local Makefile in language/	преди 8 години