diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2015-12-08 23:54:34 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2015-12-11 17:33:39 -0600 |
| commit | 0fc8cfd532f5dfd12b5504f44a2b3c9fb659cd87 (patch) | |
| tree | 693fa4c0bc41cc0e3913fe7180d8cb4ffa18506c /html-test/src/PatternSyns.hs | |
| parent | f4ef2548954bedf26674adc7a06574e718898d19 (diff) | |
Update for type=kinds
Diffstat (limited to 'html-test/src/PatternSyns.hs')
0 files changed, 0 insertions, 0 deletions