type_theory.d: ``` module type_theory; import std.conv; import prod;[...]
I had to put `while (k > 1)` instead of `while (k > 0)` and it works. I still though can't get it to work with the obvious recursive formula of `this * this^(k-1)` for example (same issue); any ideas?
