| .. |
| Control | Add 'new1' to Control.App | 6 years ago |
| Data | Fix building the latest self-hosted Idris 2 | 6 years ago |
| Debug | Implement Debug.Trace, from Idris 1's base package | 7 years ago |
| Decidable | A bit more library support | 6 years ago |
| Language | Use a data type for dotting reason | 6 years ago |
| System | Update Buffer+File libraries | 6 years ago |
| base.ipkg | Basic support for struct in FFI | 6 years ago |
| Makefile | Add 'base' libraries | 7 years ago |
| System.idr | Add missing export modifier to ExitCode | 6 years ago |