summaryrefslogtreecommitdiff
path: root/src/Test
diff options
context:
space:
mode:
authorRoman Smrž <roman.smrz@seznam.cz>2022-06-05 20:58:47 +0200
committerRoman Smrž <roman.smrz@seznam.cz>2022-06-05 20:58:47 +0200
commit202fd8ba096ff5a80102cbec2922eef94061458b (patch)
tree5546acec206cffa4201c6e1d75634ece0347e32f /src/Test
parent7f9decf5ec9e4d9fbdfad23d7ce438c95bd8a862 (diff)
Refactor expressions as GADT
Diffstat (limited to 'src/Test')
0 files changed, 0 insertions, 0 deletions