aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJosh Chen2019-03-08 17:26:25 +0100
committerJosh Chen2019-03-08 17:26:25 +0100
commit22c4bbccf47e53160db5ae5856de6fed9045b22c (patch)
tree048b4b84649014d1b2130719408789113cfbf5db /.gitignore
parentad0c2755b011e187792ed90382f72c8808949295 (diff)
type lemmas for derived functions should type the functions themselves
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions