Developments can be viewed from the page of the current version of CFML Remark: the 'Spec' notation, used to state specifications, is a definition built on top of the 'App' predicate; it provides support for reasoning on partial application of curried functions.