Thomas E. Hansen bcbe2b8c4f [ fix ] Rename Prelude.Interface NS Lazy to ILazy ... This is required due to `Lazy` now being a reserved compiler primitive. N.B. This may also break other dependencies and/or tools. Notably stuff outwith the Idris2 upstream. There's been some discussion in #2987.		2023-05-30 09:46:24 +02:00
..
base	[ base ] Implemented Ord for Name, Namespace and UserName (#2973)	2023-05-15 14:45:42 +01:00
contrib	[ contrib ] Add modFin and strengthenMod	2023-03-31 14:18:27 +02:00
linear	[ fix ] bump version of linear and papers packages (#2735)	2022-10-28 08:55:35 +01:00
network	Prepare release 0.6.0 (#2733)	2022-10-27 16:32:16 +01:00
papers	[ re #2832 ] warn about conflicting fixity declarations (#2889)	2023-02-19 16:29:10 +00:00
prelude	[ fix ] Rename Prelude.Interface NS Lazy to ILazy	2023-05-30 09:46:24 +02:00
test	[ fix ] make color output toggling simpler and also more robust. (#2848)	2023-01-22 13:35:57 -06:00