diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-04-11 18:37:31 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-04-11 18:37:31 +0200 |
commit | f41944730792070d4a3074aa1fe1f8465062b758 (patch) | |
tree | c550529678e91bb15096f862f9a61a1931b2d608 /kernel/cClosure.ml | |
parent | b5155a6690c9c768182cbedac9d6f61d11df2965 (diff) | |
parent | aa704399c4d4b8a74f4d6f42e65808c1ceab3b7e (diff) |
Merge PR#549: Fast path in weak head reduction of applied atoms.
Diffstat (limited to 'kernel/cClosure.ml')
0 files changed, 0 insertions, 0 deletions