diff options
author | Marvin Borner | 2022-09-10 11:49:31 +0200 |
---|---|---|
committer | Marvin Borner | 2022-09-10 11:49:31 +0200 |
commit | acc17930827cacfca9102c893764f9871b23d25a (patch) | |
tree | f4e3836d9c652b5e043ec71442fd430c0b71b05c /src/Typer.hs | |
parent | 336a1b4426713bd1c74e16f6a2af5c08d48f6f22 (diff) |
Switched to abbreviations
Diffstat (limited to 'src/Typer.hs')
0 files changed, 0 insertions, 0 deletions