diff options
| author | JJ | 2024-06-20 20:38:21 +0000 |
|---|---|---|
| committer | JJ | 2024-06-20 20:47:53 +0000 |
| commit | 9593f27df88211b610799a1c09105f23ea311ffb (patch) | |
| tree | d877923e71e6350f4331de12d0874cd23900bf5a /untyped | |
| parent | 5d17c1e7254e1359484b4dfd7a1236cf6f3b8adb (diff) | |
go all in on unicode: rename ctx and heap to \Gamma and \Sigma
Diffstat (limited to 'untyped')
0 files changed, 0 insertions, 0 deletions