very cool - thanks for sharing! I bet the jupyter for education mailing list <https://groups.google.com/forum/#!forum/jupyter-education> would be interested in this too!
On Mon, Dec 24, 2018 at 6:02 PM Santiago Basulto <[email protected]> wrote: > Hello folks, we're happy to share with you a new extension we've been > working on: https://github.com/rmotr/jupyterlab-solutions > > Back when we were using Jupyter Notebooks, we relied on Exercise (from nb > extensions). But then we decided to switch to Jupyter Lab and they were no > longer available. So we decided just to take a stab a it and try writing > one of our own. > > This is just the initial release. We were more concerned about the fact of > writing our first extension for Lab, than what it was going to be its final > form. We were pleased to find that we could add buttons and several > interactions to it; so from now on we'll keep improving it. > > If you have questions or ideas, just let us know! > > -- > You received this message because you are subscribed to the Google Groups > "Project Jupyter" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jupyter/3e387126-2ce8-411d-ba1b-7680db3c81c8%40googlegroups.com > <https://groups.google.com/d/msgid/jupyter/3e387126-2ce8-411d-ba1b-7680db3c81c8%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Project Jupyter" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jupyter/CAD7kTDEc-%3DM%3DhsPJ8aYOwzTHZcFrWa%3Dp_txZLUDWcNKpB6c37Q%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
