Самое большее, что вы можете сделать, это вызвать изменение фонового изображения при падении LI. Если вы хотите, чтобы что-то произошло, щелкнув LI, а затем оставив этот путь, вам нужно будет использовать некоторые JS.
Я бы назвал изображения, начинающиеся с bw_ и clr_, и просто использовал JS для обмена между их.
пример:
$("#images").find('img').bind("click", function() {
var src = $(this).attr("src"),
state = (src.indexOf("bw_") === 0) ? 'bw' : 'clr';
(state === 'bw') ? src = src.replace('bw_','clr_') : src = src.replace('clr_','bw_');
$(this).attr("src", src);
});
ссылка на скрипту: http://jsfiddle.net/felcom/J2ucD/
Вы не можете. Теория типа Идриса (например, Coq's и Agda's) не поддерживает общую экстенсивность. Учитывая две функции f
и g
, которые «действуют одинаково», вы никогда не сможете доказать Not (f = g)
, но вы сможете доказать f = g
, если f
и g
определены то же самое, с точностью до альфа и эта эквивалентности. К сожалению, ситуация только ухудшается, когда вы рассматриваете функции более высокого порядка; есть теорема о таких в стандартной библиотеке Coq, но я не могу найти или запомнить ее прямо сейчас.