git.iko.soy/Idris-dev
on 374fc26 help sign in
history oflib/list.idr
all commits
ed64e76Better type class resolutionsEdwin Brady 1b1a055Improved where; implicit arguments now expanded during elaborationEdwin Brady 6638f64Some things in the preludeEdwin Brady 0eac224Moved primitive operators to builtints.idrEdwin Brady 6757c47Added case analysis on types, but only when enabled with --typecase (since it breaks parametricity)Edwin Brady 38a6bc7Added some library filesEdwin Brady