diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2023-12-23 23:12:03 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2023-12-23 23:12:07 +0100 |
| commit | ae603f2423e967c55dfd31b0dec26d19584aa322 (patch) | |
| tree | d40ba193a58001453825c7f4dcd164767e327577 /.gitignore | |
| parent | 37acb2efba1cd159bda5d163192e2aba70c4e26b (diff) | |
Can typecheck universe-polymorphic id
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions