jQuery for Idris