Just like to mention that I was working with the Jupyter notebook interface
pioneered by Martin Saurer and I adapted my own Binder launch script based on
Joe Bogner’s jkernel-docker for Binder.
Both of the aforementioned have github sites that have the code:
Martin: https://github.com/martin-sau
Present: Art Anger, Raul Miller, Bob Therriault
1) Bob apologized for last meeting not happening due to campsite connectivity.
Art asked about the future of J and Bob indicated that there may be a push to
making J more accessible to developers.
2) Bob talked about making a more accessible way t
Hi Elijah,
Thanks for your suggestions, they've been really helpful, the idea of
having an apply node is exactly what I was missing.
With that, verbs can be leafs, as well as nouns, so they can both
coexist in the same egraph.
I've got the hunch that this is desirable as it allows
- to keep semant