Hello, I am interested in the idea "Plugins". I saw the jupyter plugin for github, while I don't know how to so start it. What is the current difficulty about this idea? Can you give me some prompts??
idea information:Plugins (Medium)
Descriptions
integrate jupyter interface
Outcomes
Improve the REPLs for GNU TeXmacs