msyds/rlp
1
0
Fork 0
Code Issues 4 Pull Requests Actions Packages Projects Releases 2 Wiki Activity

cute commentary chapter titles

Browse Source
This commit is contained in:
crumbtoo
2023-11-30 09:41:16 -07:00
parent 1e43039292
commit 11f80cad32
1 changed files with 12 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
docs/src/commentary/gm.rst
View File

@@ -54,9 +54,9 @@ Achilles' heel. Traversing a tree structure is a very non-linear task unfit for
an assembly target. The goal of our new G-Machine is to compile a *linear an assembly target. The goal of our new G-Machine is to compile a *linear
sequence of instructions* which instantiate the expression at execution. sequence of instructions* which instantiate the expression at execution.
************** **************************
Implementation Trees and Vines, in Theory
************** **************************
WIP. state transition rules WIP. state transition rules
@@ -207,9 +207,15 @@ WIP. state transition rules
& m & m
} }
********************************* **************************
Compilation: How to Squash a Tree Evaluation: Slurping Vines
********************************* **************************
WIP.
****************************
Compilation: Squashing Trees
****************************
WIP. WIP.