diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2021-02-06 11:39:30 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2021-02-06 11:53:45 -0500 |
| commit | df96565cf1c6b7468f58d9173bbbcbefb7445b08 (patch) | |
| tree | 1fe9187ab043e41305453e2e7ffeeb584a3c8d3f /latex-test/src/LinearTypes/LinearTypes.hs | |
| parent | bf8ba2525e95319bdbcfc81d06448b646eba3a57 (diff) | |
Fix partial record selector warning
Diffstat (limited to 'latex-test/src/LinearTypes/LinearTypes.hs')
0 files changed, 0 insertions, 0 deletions