| .. |
| 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 | Update Buffer+File libraries | 6 years ago |
| Either.idr | Inclusion of Either within Base. | 7 years ago |
| Fin.idr | Implement occurs check properly (finally!) | 6 years ago |
| IOArray.idr | Added Data.IOArray | 6 years ago |
| IORef.idr | Check and add transform rules | 6 years ago |
| List.idr | Fix building the latest self-hosted Idris 2 | 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 | Move takeBefore/takeUntil to Data.Stream | 6 years ago |
| Strings.idr | Don't collapse empty lines in 'lines' | 6 years ago |
| Vect.idr | Make Traversable (Vect k) public export. | 6 years ago |