diff options
author | Tom Smeding <tom@tomsmeding.com> | 2024-03-01 22:25:02 +0100 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2024-03-01 22:25:02 +0100 |
commit | e8f09ff3f9d40922238d646c8fbcbacf9cfdfb62 (patch) | |
tree | ec1b118a1f50efbb74c6d9de503380f76ad5f776 /examples/test-kinds.hs | |
parent | e094e3294e9c93fd1123b008a4b0e5f53915f5be (diff) |
Little typecheck work
Diffstat (limited to 'examples/test-kinds.hs')
0 files changed, 0 insertions, 0 deletions