Comment by pmarreck

If you have a denominator composed of “n - k - 1”, I hardly find it surprising that if n=3 and k=2 that you have a slight problem…

Anyway, check out Idris[2], it’s cool for this sort of thing