diff options
author | Zubin Duggal <zubin@cmi.ac.in> | 2020-06-09 16:58:22 +0530 |
---|---|---|
committer | Zubin Duggal <zubin@cmi.ac.in> | 2020-06-21 21:19:18 +0530 |
commit | 45add0d8a39172d17e822b762508685d7b433639 (patch) | |
tree | 60fe9c1db01bf65bad43744b6164a7b5cbd38f9c /html-test/ref/PatternSyns.html | |
parent | 02a1def8d147da88a0433726590f8586f486c760 (diff) |
Use functions exported from HsToCore
Diffstat (limited to 'html-test/ref/PatternSyns.html')
0 files changed, 0 insertions, 0 deletions