git.iko.soy/Idris-dev
on bf4e535 help sign in
history oflibs/base/base.ipkg
all commits
af65583Move more less-supported things to contribDavid Raymond Christiansen 0d4d8dbMore library rearrangingDavid Raymond Christiansen e6c5588Move Network code to contribDavid Raymond Christiansen 059dafbMove System.Concurrency.Raw back to baseDavid Raymond Christiansen db5b385Initial reorganization into contribDavid Raymond Christiansen 35e604aAdd missing module to base.ipkgDavid Raymond Christiansen 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady 348ddceError reflection for FinDavid Raymond Christiansen aaaad69Add something like Haskell's "error" function.David Raymond Christiansen 9713a35Update base.ipkgCliff Harvey 87e56feUpdate base.ipkgCliff Harvey 8695823Data.Hash librarySebastian de Bellefon cc9b104Add a prim__systemInfo primitive.niklas 59b9a4cAdd Data.List to baseEdwin Brady 3aa1833Add Data.Erased to libs/base.Matus Tejiscak 0fca527Add Uninhabited to PreludeDavid Raymond Christiansen 5a1d646Added Network.SocketsEdwin Brady 626d0eaAdd a template for bijections to/from primitivesDavid Raymond Christiansen 5b70c05Missing commaShea Levy c22e4ecAdd Data.Buffer moduleShea Levy 0c9e3a3Re-rename FunN all the way back to Fun.Timo Petteri Sinnemäki 9e1f8faAdded missing comma to base.ipkgTimo Petteri Sinnemäki 9150e95Added Data.FunN and Data.Rel to base.ipkgTimo Petteri Sinnemäki 49bc500List modules in dependency orderDavid Christiansen e01605bAdd a representation of isomorphisms and some useful base isosDavid Christiansen 93f03deAdd syntax for Agda-style reasoning over preordersDavid Christiansen ddac624Add --nobasepkgs flagEdwin Brady 8b8038cMove Decidable.Equality to PreludeEdwin Brady ba6f0efSeparate base into base and preludeEdwin Brady 40924dcMoved libraries around, removed 'effects' flagEdwin Brady