@nilrecurring non ho mai pretty-printed fuori dal REPL, onestamente, ma quello che c'è al riguardo in CIDER è qui: https://docs.cider.mx/cider/usage/pretty_printing.html (se non hai già visto, s'intende)

Si ho visto, ma sembra non dire nulla sul minibuffer flottante 😕

capito. Prova a chiedere lumi in #cider allora. 😉

È per la presentazione a HoC, chiederò IRL a Bozhidar una volta lì e per il momento mi arrangio con la REPL 😄