diff options
| author | Nadrieril | 2019-04-16 19:43:09 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-16 19:43:09 +0200 |
| commit | 12e9b4a5963482d50a42588d71f210a80db36c4b (patch) | |
| tree | 82be11172e43030f641ea409902e1e34062738ce /.gitmodules | |
| parent | 1cb13e7d75035fc1e7fcea76f57847f8dbbbac87 (diff) | |
Typecheck higher-kinded records
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions