diff options
| author | Son Ho | 2023-11-21 10:27:08 +0100 |
|---|---|---|
| committer | Son Ho | 2023-11-21 10:27:08 +0100 |
| commit | 1dbdd9e316e690e5c63de2e1923afad520c76e4d (patch) | |
| tree | 223d86001f684cb403839f55bdf84a9eeb262262 /compiler/Substitute.ml | |
| parent | c3b6ad3685995b3b96dc88789e8512560d3257b3 (diff) | |
Update more names
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions