git.iko.soy/Idris-dev
on bf4e535 help sign in
history oflibs/base/Data/List.idr
all commits
edb9980Removed '_|_' as a built in declaration and renamed it to 'Void', 'FalseElim' now 'VoidElim' to match upAhmad Salim Al-Sibahi 17e042bDocumentation improvements in libraryDavid Raymond Christiansen f0ed9e9First renaming attemptAhmad Salim Al-Sibahi 505905dRemove some needless 'using' blocksEdwin Brady 42a9921Updated inline comments to new style function documentation.Jan de Muijnck-Hughes d9a96d1Move 'mkNo' to a whereEdwin Brady 59b9a4cAdd Data.List to baseEdwin Brady