looks like Project Jupyter (http://jupyter.org/) has a text editor under development
per recent twitter action: https://twitter.com/ProjectJupyter could yield a flexible yet powerful IDE ... certainly interesting. best, cdm
looks like Project Jupyter (http://jupyter.org/) has a text editor under development
per recent twitter action: https://twitter.com/ProjectJupyter could yield a flexible yet powerful IDE ... certainly interesting. best, cdm