diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-09-17 00:06:04 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-09-17 00:06:04 -0700 |
| commit | 7c9def3c5a35c07afdc95b383d6ff85a7c16ef0b (patch) | |
| tree | c69ae0c6ec4fca45e23eed42ffbcce5fdbc71eae /tangle | |
| parent | 14b0932a54916349b531e804acc34a1c3caf70cf (diff) | |
| download | mu-7c9def3c5a35c07afdc95b383d6ff85a7c16ef0b.tar.gz | |
3376 - start maximally using all type abbreviations
It might be too much, particularly if students start peeking inside .mu files early. But worth a shot for not just to iron out the kinks in the abbreviation system.
Diffstat (limited to 'tangle')
0 files changed, 0 insertions, 0 deletions