diff options
| author | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-09-26 20:59:49 +0300 |
|---|---|---|
| committer | Vladislav Zavialov <vlad.z.4096@gmail.com> | 2020-09-26 21:00:12 +0300 |
| commit | 37c47822d390b553ce24fe256c9700d5fd83bf9f (patch) | |
| tree | c5ee52d95c49c5bef00fd4cccacc0d670dfb1d91 /latex-test/src/GadtConstructorArgs/GadtConstructorArgs.hs | |
| parent | 8c8517d6c82411212452c3c5fca503c7af5ac3da (diff) | |
Updates for the new linear types syntax: a %p -> b
Diffstat (limited to 'latex-test/src/GadtConstructorArgs/GadtConstructorArgs.hs')
0 files changed, 0 insertions, 0 deletions