git.iko.soy/Idris-dev
on da0a382 help sign in
history oflibs/base/Data/Complex.idr
all commits
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