diff options
| author | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-08-24 23:09:47 +0200 |
|---|---|---|
| committer | Łukasz Hanuszczak <lukasz.hanuszczak@gmail.com> | 2015-08-24 23:09:47 +0200 |
| commit | 5b427d2a86f09832ba4e86a314abc821e4715aae (patch) | |
| tree | 392e79d9980535a5d50a5ecdd85e48540e49232e /html-test/ref/HiddenInstancesB.html | |
| parent | 136c48c5fe074ac8a2755c4705d555de24e22a3a (diff) | |
Accept output for Hoogle and LaTeX backends.
Diffstat (limited to 'html-test/ref/HiddenInstancesB.html')
0 files changed, 0 insertions, 0 deletions