diff options
| author | Alexander Biehl <alexbiehl@gmail.com> | 2018-03-13 08:45:06 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-13 08:45:06 +0100 |
| commit | 7b3f6f3a5230dab898a8a824f03636e27b84bfb1 (patch) | |
| tree | 48d100df6b1f6afac12b5ad491ed78b3249aafee /latex-test/src/Simple | |
| parent | 22d5e59a9bb7f5ad5612c9dde53419a48101be65 (diff) | |
extractDecl: Extract constructor patterns from data family instances (#776)
* extractDecl: Allow extraction of data family instance constructors
* extractDecl: extract data family instance constructors
Diffstat (limited to 'latex-test/src/Simple')
0 files changed, 0 insertions, 0 deletions