I would like to be able to run the Frege REPL through Leiningen (with lein repl). @seancorfield: You can't currently run the Frege REPL via Leiningen @seancorfield: Go open an issue and I'll see if...