diff options
| author | Josh Rahm <joshuarahm@gmail.com> | 2024-10-10 18:43:13 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2024-10-10 18:43:13 -0600 |
| commit | cef70019330bb482a1418c026c57045ed731d51b (patch) | |
| tree | f6c568e644df202b8b87e8967698a98776183912 /src/Language/Fiddle/Compiler/Backend.hs | |
| parent | c2f195a23bdb0d0dc876cc548d4c3157534082c6 (diff) | |
| download | fiddle-cef70019330bb482a1418c026c57045ed731d51b.tar.gz fiddle-cef70019330bb482a1418c026c57045ed731d51b.tar.bz2 fiddle-cef70019330bb482a1418c026c57045ed731d51b.zip | |
Change Witness to be a GADT.
This makes is much simpler to represent. Surprised I missed this
ability.
Diffstat (limited to 'src/Language/Fiddle/Compiler/Backend.hs')
0 files changed, 0 insertions, 0 deletions