caryoscelus/agda

نویسنده	SHA1 پیام	تاریخ
Kyle Raftogianis	ad9d6b9457 Remove use of undefine in Makefiles	4 سال پیش
Robert Estelle	eb4d57e857 make: Add HAS_STACK to simplify checking for stack.yaml	4 سال پیش
Robert Estelle	5235289134 make: Move STACK var under new mk/stack.mk	4 سال پیش
Liang-Ting Chen	6549537601 [ re #4025 ] Revised Travis configuration - build stages (#4068)	5 سال پیش
Liang-Ting Chen	dfa9f6d6aa [dev] fix Makefile mistake introduced earlier	5 سال پیش
Liang-Ting Chen	ce0bc31e8c [ dev ] Tidy up Makefile	5 سال پیش