sequent-repl

An adapter for using Sequent with Revolver.