aboutsummaryrefslogtreecommitdiff
path: root/examples
diff options
context:
space:
mode:
authorFelix Morgner <felix.morgner@gmail.com>2020-01-05 11:10:26 +0100
committerFelix Morgner <felix.morgner@gmail.com>2020-01-05 11:10:26 +0100
commitf8441c895e611c35daa23bff50faff32efe7e198 (patch)
tree939ffa8112e475914827816b8c6e832afbb0b607 /examples
parentcf3473298ca31f0cd0348753b29bfc85368b614e (diff)
downloadnewtype-f8441c895e611c35daa23bff50faff32efe7e198.tar.xz
newtype-f8441c895e611c35daa23bff50faff32efe7e198.zip
doc: finish derivation_clause
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions