A minimal version, up to section 4.2 of the paper, is implemented. Refer to the end of MicroKanren.idr for a couple working examples. There hasn't been any testing beyond that yet.
Search the source for TODO to see what features are missing, but planned.