An implementation of the Phi programming language