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 سال پیش