Skip Navigation
43 comments
  • To be 100% honest, I just open a terminal and use clisp. Or an RPN calculator when I'm on my phone (RPN Calculator)

43 comments