68c019aChange export qualifier keywordsEdwin Brady11 years ago a14e4edSimplify export rules.Edwin Brady11 years ago 4d0a065Change "class/instance" keywordsEdwin Brady11 years ago ace1020Added docs for anyElimDaniel Waterworth11 years ago 43127b1Move Fin, Vect and So from prelude to baseEdwin Brady12 years ago edb9980Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match upAhmad Salim Al-Sibahi12 years ago 17e042bDocumentation improvements in libraryDavid Raymond Christiansen12 years ago 7ca1a6fAdd Uninhabited instance for Any p []David Raymond Christiansen12 years ago f98d138Fix parameter propagationEdwin Brady13 years ago c959fb0Unification changesEdwin Brady13 years ago e803aeaDon't reset totality for non-total thingsEdwin Brady13 years ago a338273Remove needless Prelude importsEdwin Brady13 years ago 40924dcMoved libraries around, removed 'effects' flagEdwin Brady13 years ago