diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2022-09-28 13:31:49 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2022-09-30 22:45:58 +0200 |
| commit | e6f8e2eeb66880950bd35fd82d439d87e7fa6bf5 (patch) | |
| tree | d1c225b647bfea85749dc65e25e931f1457309c0 /src/Run.hs | |
| parent | 8865c86aa904243ae91a598327e9dc1768ae8f3a (diff) | |
Generic record member selection expression
Diffstat (limited to 'src/Run.hs')
0 files changed, 0 insertions, 0 deletions