aboutsummaryrefslogtreecommitdiff
path: root/ex
diff options
context:
space:
mode:
authorJosh Chen2018-09-20 14:03:33 +0200
committerJosh Chen2018-09-20 14:03:33 +0200
commit19eb191526ed6071ce4dbd44804122d53eea83c9 (patch)
tree78dfb2ccf8f6d5d32482632bc5cc42fed3f16ae0 /ex
parent24a0d9c9f72b54151f87332334f8ac488658351c (diff)
Rename properties of equality + more properties. Output formatting for `
Diffstat (limited to 'ex')
0 files changed, 0 insertions, 0 deletions