Joy Jupyter kernel loads defs.txt

docs/jupyter_kernel/joy_kernel.py

@@ -1,6 +1,6 @@
 import sys
 from ipykernel.kernelbase import Kernel
-from joy.library import initialize, inscribe
+from joy.library import default_defs, initialize, inscribe
 from joy.joy import run
 from joy.utils.stack import stack_to_string
 from joy.utils.pretty_print import trace
@@ -45,6 +45,7 @@ class JoyKernel(Kernel):
 
     def __init__(self, *a, **b):
       self.D = initialize()
+      default_defs(self.D)
       self.S = ()
       super(JoyKernel, self).__init__(*a, **b)