include ../../header.mk

TEST       =lift
TITLE      =lambda lifter
TEST_SUFFIX=lhs

include ../../footer.mk