QUARTO_PYTHON=/home/philip/philzook58.github.io/.venv/bin/python quarto render /home/philip/philzook58.github.io/longform/arip/term.qmd --to pdf -M pdf-engine=pdflatex
Bonus stuff and notes to try and keep the real file clean
I have no problem with bits and bobbles but I do tend to like to write most recent stuff first
QUARTO_PYTHON= needs to be forced.
I think using built in attern matching
match t: App(“sin”, ):
Appendix for function programming in python? map fold defaultdict, comprehensions
class Term
f : Decl
args : list[Term]
class Term:
f : object
args
type Sexp = list | object
Mniminal minimal parsing. I’m a little out on lark.
Exercises:
- Redo everything using Binary App Terms
- Build a differentiator