[adaptor] Functional version of the EDT program