@@ -191,10 +191,10 @@ function.
191191When will Idris be self-hosting?
192192================================
193193
194−It’s not a priority, though not a bad idea in the long run. It would be a
195−worthwhile effort in the short term to implement libraries to support
196−self-hosting, such as a good parsing library.
197−
194+It’s not a priority, though not a bad idea in the long run. It would
195+be a worthwhile effort in the short term to implement libraries in
196+Idris to support self-hosting, such as argument parsing and a
197+POSIX-compliant library for system interaction.
198198
199199Does Idris have universe polymorphism? What is the type of ``Type``?
200200====================================================================