@breandan following your question on Twitter (I am not actively using it, so I saw your comment by accident), type providers for the notebook are defined in a module descriptrion: https://github.com/Kotlin/kotlin-jupyter/blob/c85e2fc9af38b39811b020edc12cbfad90b9f3fd/libraries/dataframe.json#L26-L31

Thanks for sharing! I was curious how it works from an implementation standpoint, as I am also working on some notebook tools at school. Seems like making this kind of runtime code generation accessible to the environment (either as a type provider or “completion” provider) opens up a lot of possibilities from a tooling perspective

Yeah. There are several very interesting possibilities. Right now I am interested in visualization tools, static resources and js-generation on flight, but there are several rather possibilities from the language point of view as well.