From cde09547ac786aabd06db3b8109f1bc07926c106 Mon Sep 17 00:00:00 2001
From: jgart
Date: Fri, 6 Aug 2021 09:29:01 -0400
Subject: Update answer for two questions

---
 topics/notebooks/binding-lite.gmi | 16 ++++++++++++++--
 1 file changed, 14 insertions(+), 2 deletions(-)

(limited to 'topics/notebooks')

diff --git a/topics/notebooks/binding-lite.gmi b/topics/notebooks/binding-lite.gmi
index 060b9c1..8ab110e 100644
--- a/topics/notebooks/binding-lite.gmi
+++ b/topics/notebooks/binding-lite.gmi
@@ -132,9 +132,21 @@ The use cases for `guix-notebook-launcher` are driven by the following design de
 
 ## Current Questions I Have to Answer
 
-* Is OAuth still needed?
+* Is OAuth still needed? 
+
+Yes
+
+* What type does a manifest return? 
+
+A manifest! Which of course is just another record :)
+
+```
+scheme@(guix-user)> ,use (gnu packages) (guix profiles)
+scheme@(guix-user)> (manifest? (specifications->manifest '("python-ipython")))
+$1 = #t
+```
+
 * Pushing? Pulling? Authentification? Via the github API? 
-* What type does a manifest return? Test this in the guix repl.
 * Will we build binder-lite completely from scratch or are there useful pieces from binderhub that we can salvage and while stripping out the docker integration? 
 * How will we parse the new dependencies that a user introduces during a notebook session? 
 * Will guix-jupyter magics be available to the notebook user? How will they interact with guix-notebook-launcher data?
-- 
cgit v1.2.3