git.iko.soy/Idris-dev
on 385dcbf help sign in
history oflibs/base/Control/Isomorphism.idr
all commits
e8253fcAdded `Category Iso` in baseSynthetica9 68c019aChange export qualifier keywordsEdwin Brady a14e4edSimplify export rules.Edwin Brady dce49c0Rename Either.swap to Either.mirror and extract Pairs.swapDavid Raymond Christiansen c18f17bExtract "swap" on Either to PreludeDavid Raymond Christiansen 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady d6981dcRenamed VoidElim to void in order to ensure further consistencyAhmad Salim Al-Sibahi edb9980Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match upAhmad Salim Al-Sibahi fe569c4Finished making standard library naming consistentAhmad Salim Al-Sibahi f0ed9e9First renaming attemptAhmad Salim Al-Sibahi f73d721Add some docstringsDavid Raymond Christiansen f98d138Fix parameter propagationEdwin Brady 0fca527Add Uninhabited to PreludeDavid Raymond Christiansen 68daa48Make spacing consistentDavid Christiansen 88dbc74Add isomorphisms for FinDavid Christiansen a3e2524Add more isomorphismsDavid Christiansen e01605bAdd a representation of isomorphisms and some useful base isosDavid Christiansen