diff options
| author | Kartik Agaram <vc@akkartik.com> | 2018-07-15 22:59:02 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2018-07-15 22:59:02 -0700 |
| commit | 1f56ac6483f97ab18245c69c8c006be158c18a8d (patch) | |
| tree | 85006b281492a4e5504a32cb7b4a54943c984942 /lambda-to-mu.mu | |
| parent | e1fcc521be3d2ec9e379b3baa974cb805386496d (diff) | |
| download | mu-1f56ac6483f97ab18245c69c8c006be158c18a8d.tar.gz | |
4350
Reorganize layers to introduce the translation workflow right at the start. We also avoid duplicating parsing code. Programs are always parsed into the `program` data structure.
Diffstat (limited to 'lambda-to-mu.mu')
0 files changed, 0 insertions, 0 deletions