| .. |
| Control | Add Edwin's Parser library from the Idris2 port | 6 years ago |
| Data | Make SortedMap traversable. | 6 years ago |
| Language | added json | 6 years ago |
| Syntax | Create a contrib directory in the standard library | 6 years ago |
| System | Fix building the latest self-hosted Idris 2 | 6 years ago |
| Text | Fix SeqEmpty in Text.Lexer.Core. | 6 years ago |
| contrib.ipkg | Fix building the latest self-hosted Idris 2 | 6 years ago |
| Makefile | Create a contrib directory in the standard library | 6 years ago |