diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2024-06-18 14:33:06 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2024-06-18 14:33:06 +0200 |
| commit | f883a252b108bd9c4fadb1a78daec85440cc7f08 (patch) | |
| tree | 5feb4a1f26b717e7a7f83393058a2d13344acdbd /.gitignore | |
| parent | cc8060636ee0a341f68db9ad8fda4ebaabaf49cf (diff) | |
Do more work on the typechecker and compiler
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions