lambda-notebook
lambda-notebook copied to clipboard
rawlins
Lambda Notebook: Formal Semantics in Jupyter
VSCode seems to have broken rendering for both latex within HTML and latex within markdown. This affects rendering of trees and formula derivations. See the following issues: * https://github.com/microsoft/vscode-jupyter/issues/7801 *...
We often want to be able to write something like the following in a %%lamb block (Lucas Champollion): ``` ||a sandwich|| = Lx_e: sandwich(x) ||a_sandwich|| = Lx_e: sandwich(x) ``` That...
Long-term goal: convert every paper I've written to a lambda notebook fragment. Solicit fragments from anyone who might be interested.
Need to enhance the syntactic side of `TreeCompositionSystem`s so that things like QR can actually be implemented.