aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/reduction.mli
diff options
context:
space:
mode:
authorGravatar Matej Kosik <m4tej.kosik@gmail.com>2015-12-09 15:22:08 +0100
committerGravatar Matej Kosik <m4tej.kosik@gmail.com>2015-12-17 13:56:14 +0100
commit57a90691e4a64853113ab38487a5406a32c8c117 (patch)
tree6c12426cd43752bc4b8b1e950ba68903f4df6f7a /kernel/reduction.mli
parent39b13903e7a6824f4405f61bb4b41a30cfbd0b3c (diff)
CLEANUP: in the Reductionops module
Diffstat (limited to 'kernel/reduction.mli')
0 files changed, 0 insertions, 0 deletions