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 年之前