diff options
Diffstat (limited to 'topics/notebooks/pluto.gmi')
| -rw-r--r-- | topics/notebooks/pluto.gmi | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/topics/notebooks/pluto.gmi b/topics/notebooks/pluto.gmi index 30b5d8d..b924020 100644 --- a/topics/notebooks/pluto.gmi +++ b/topics/notebooks/pluto.gmi @@ -1,5 +1,10 @@ # Julia Pluto +## Tags + +* type: documentation +* status: unclear + ## Pluto in a Guix container We run Pluto in a container. It allows for self-install of Julia packages: |