| .. |
| List | Create a contrib directory in the standard library | 6 years ago |
| Nat | Improve 'with' implementation | 7 years ago |
| Primitives | Add Data.Primitives.Views | 7 years ago |
| Buffer.idr | Some buffer updates | 6 years ago |
| Either.idr | Inclusion of Either within Base. | 7 years ago |
| Fin.idr | Better approach to erasure in pattern matching | 6 years ago |
| IOArray.idr | Added Data.IOArray | 6 years ago |
| IORef.idr | Allow flagging types as externally defined | 6 years ago |
| List.idr | Merge pull request #245 from ziman/stable-sort | 6 years ago |
| Maybe.idr | Delay case elaboration | 7 years ago |
| Morphisms.idr | Add Data.Morphisms to base | 7 years ago |
| Nat.idr | Merge pull request #159 from ska80/integral-nat | 6 years ago |
| So.idr | Remove trailing whitespace from Idris sources. | 7 years ago |
| Stream.idr | Add more stream functions to Data.Stream | 7 years ago |
| Strings.idr | A couple of library functions | 6 years ago |
| Vect.idr | Better approach to erasure in pattern matching | 6 years ago |