diff options
| author | Yuchen Pei <hi@ypei.me> | 2022-08-16 09:59:13 +1000 |
|---|---|---|
| committer | Yuchen Pei <hi@ypei.me> | 2022-08-16 09:59:13 +1000 |
| commit | ac6a9c71b8bbfc4c4086b3c091470f40ddee3d70 (patch) | |
| tree | 31c107008bdf55288c949a9f849f0300b1999d1f /html-test/src/LinearTypes.hs | |
| parent | f08b39b6c5f8f5a8d181373cea45f858e2bd6473 (diff) | |
removed some unused pragmas
Diffstat (limited to 'html-test/src/LinearTypes.hs')
0 files changed, 0 insertions, 0 deletions