japesinator/complex

Messing around with complex numbers in idris

Idris