aboutsummaryrefslogtreecommitdiff
path: root/doc/index.rst
diff options
context:
space:
mode:
authorAlexander Biehl <alexbiehl@gmail.com>2018-03-13 08:45:06 +0100
committerGitHub <noreply@github.com>2018-03-13 08:45:06 +0100
commit7b3f6f3a5230dab898a8a824f03636e27b84bfb1 (patch)
tree48d100df6b1f6afac12b5ad491ed78b3249aafee /doc/index.rst
parent22d5e59a9bb7f5ad5612c9dde53419a48101be65 (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 'doc/index.rst')
0 files changed, 0 insertions, 0 deletions