aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorKazu Yamamoto <kazu@iij.ad.jp>2013-02-06 11:12:28 +0900
committerKazu Yamamoto <kazu@iij.ad.jp>2013-02-06 11:12:28 +0900
commitba8711a3b3bada2a099e9484296cbd04becbdbb4 (patch)
tree8ac57d4e03c30c4033d4b095c099eda579509587 /doc
parent8d4c94ca5a969a5ebbb791939fb0195dc672429e (diff)
Using tcSplitSigmaTy in instanceHead' (FIXME is resolved.)
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions