diff options
| author | Lars-Dominik Braun <lars@6xq.net> | 2015-07-11 16:41:44 +0200 |
|---|---|---|
| committer | Lars-Dominik Braun <lars@6xq.net> | 2015-07-11 16:44:52 +0200 |
| commit | 43242dffb867d9588bce249f02c39fe03e11aec4 (patch) | |
| tree | 5593941f4c0666c0626b1571cd23bf2944307cc9 /src/Doc.lhs | |
| parent | d2c05dd1c4def5406117695c07cfb6e8470d1934 (diff) | |
| download | pesto-43242dffb867d9588bce249f02c39fe03e11aec4.tar.gz pesto-43242dffb867d9588bce249f02c39fe03e11aec4.tar.bz2 pesto-43242dffb867d9588bce249f02c39fe03e11aec4.zip | |
Rename Operation to Instruction
More appropriate. The graph builder is essentially a small,
special-purpose stack processor.
Diffstat (limited to 'src/Doc.lhs')
0 files changed, 0 insertions, 0 deletions