git.iko.soy/Idris-dev
on cd58dfb help sign in
history oflibs/base/Data/Complex.idr
all commits
0e44aa5Enabled Fractional instance for Complex aEvan Jenkins 2a6dce9Moved `abs` from the `Neg` interface into its own `Abs` interface. (Issue 3500)Niriel 3b22e26Tiny comment fixSynthetica9 f15d4cbAdded extra commentSynthetica9 02159a3Fixed the Num instance for ComplexSynthetica9 06d9db6Use interface instead class or type class in documentations (#3379)(λ _ λ) 68c019aChange export qualifier keywordsEdwin Brady a14e4edSimplify export rules.Edwin Brady 4d0a065Change "class/instance" keywordsEdwin Brady 42eeb6eUpdate reflection for Float -> Double changeDavid Raymond Christiansen 8a17e9aChange library and expected test results for Float -> Double changeEcho Nolan fe4d6d3Move Data.Floats to Prelude.DoublesEdwin Brady f7ccfb3Neg and Nat adjustmentsEdwin Brady d649f2eSeparate numeric/algebraic matrix ops from basic matrix functionsBlackBrane 1fec4faAdd showPrec to ShowMelvar Chen 90aa3d8Fix addition and subtraction of Complex Float.Matus Tejiscak a338273Remove needless Prelude importsEdwin Brady 40924dcMoved libraries around, removed 'effects' flagEdwin Brady