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 년 전