diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-09-14 00:33:40 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-09-14 00:33:40 -0700 |
| commit | 0fb8f78c734a4833d12ba6f8795785ccef1c6dff (patch) | |
| tree | 6d877752c884caa2f6449e73f5907ea70e6bb0bb /lambda_to_mu.mu | |
| parent | 726d322b8f86da6422a893a3c922b19b71367185 (diff) | |
| download | mu-0fb8f78c734a4833d12ba6f8795785ccef1c6dff.tar.gz | |
3348
Expand type abbreviations when checking for colliding/redefined variants. This may need a separate transform if we ever find the need to use type abbreviations before defining them.
Diffstat (limited to 'lambda_to_mu.mu')
0 files changed, 0 insertions, 0 deletions