A Functional Implementation of Reversible Concurrent Formal Languages