[ RFC ] Process for moving modules out of the contrib package.

[Jan de Muijnck-Hughes]

Dear all;

Revently, an RFC (about library organisation) has been created on the Idris2 issue tracker.

https://github.com/idris-lang/Idris2/issues/2866

There was some light discussion on the Idris Discord, but all discussion should occur on the issue tracker. The author is aware that not everyone is on the Discord, and not everyone is on the mailing list.

I am mailing the list to make sure the discussion solicits more people for possible comments..

Thanks

Jan

(on behalf of the original RFC creator).