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