aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJosh Chen2019-02-17 18:34:38 +0100
committerJosh Chen2019-02-17 18:34:38 +0100
commit68aa069172933b875d70a5ef71e9db0ae685a92d (patch)
treebd1da2111e12bab878641661d91f95f66f8132cc /.gitignore
parent76b57317d7568f4dcd673b1b8085601c6c723355 (diff)
Method "quantify" converts product inhabitation into Pure universal statements. Also misc. cleanups.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions