Lean repl

• Replit multiplayer

• code generator

• unicode typing assistance

• style

  • Can change syntax coloring in replit’s Monaco editor?

  • If not, then try a text editor made with pygame or kaboomjs.

  • Codemirror;

publish theory in a repl

• Can we play a video in the repl?

  • with pygame.

  • youtube iframe in an html page

Make the code more efficient: Can you avoid sending the same message to the server many times? Or at least replace the costly message with a less costly one. What’s a not so costly message we can send? Something that does not require the server to check a lot of code from the library..

send message only after Lean has replied

• kaboomjs burp() when goal is closed