+++
title = "Program expression graphs"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["2e1d"]
forwardlinks = ["2e1d2"]
zettelid = "2e1d1"
+++

These are representations of programs in an expression form, which
allows one to only work in this representation, and think of programs
more like equations that can simply be transformed and saturated with
equalities.