-
Couldn't load subscription status.
- Fork 119
Open
Labels
enhancementNew feature or requestNew feature or request
Description
Following a discussion with Fons, here are the short notes:
- effectively https://github.com/mitmath/18S191 already has an integration but
- --> file mgt is a bit awkward
- --> would be nicer to just allow
.jlfiles that can be recognised as Pluto files (is_pluto_notebook) and if they are, be treated as such (provided Pluto is loaded, we can use Requires for this check) - (in a similar vein, we should probably use Requires for Literate but Literate is very lightweight)
devendra-ghate, nitin-ppnp, cadojo, jeremiahpslewis, anandijain and 3 morerikhuijzer, mbaz, VarLad, iagobaapellaniz, StatisticalMice and 1 more
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or request