| .. |
| Control | Add Edwin's Parser library from the Idris2 port | 6 years ago |
| Data | Adapt Data.Sorted{Map,Set} from Idris 1. | 6 years ago |
| Syntax | Create a contrib directory in the standard library | 6 years ago |
| Text | Fix SeqEmpty in Text.Lexer.Core. | 6 years ago |
| contrib.ipkg | Adapt Data.Sorted{Map,Set} from Idris 1. | 6 years ago |
| Makefile | Create a contrib directory in the standard library | 6 years ago |