diff options
author | Tom Smeding <t.j.smeding@uu.nl> | 2024-05-15 13:29:10 +0200 |
---|---|---|
committer | Tom Smeding <t.j.smeding@uu.nl> | 2024-05-15 13:30:36 +0200 |
commit | bd11ee13d58c512f1a9cc0ef06b36c722653ff6f (patch) | |
tree | a9354a9c1874bd4aea77a217db7981708707d60e /.gitignore | |
parent | 43ddff2e7f1e9f4d8855f573384e26b63d34f697 (diff) |
The code compiles with only GHC nats
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions