Ticks are simple assessed programs written in ML at Cambridge University