From: Jean Privat Date: Wed, 11 Feb 2015 04:12:05 +0000 (+0700) Subject: Merge: Rename Streams X-Git-Tag: v0.7.2~17 X-Git-Url: http://nitlanguage.org Merge: Rename Streams Since #466 is not closed yet, here's the follow-up to PR #932. This one focuses only on introducing new names for Streams, IOS and its derivatives were judged as confusing, so here's a proposition of names for the different Streams of the standard library. Please let me know if some names are not very explicit, I'll change them if necessary. Pull-Request: #1153 Reviewed-by: Alexandre Terrasa Reviewed-by: Jean Privat Reviewed-by: Alexis Laferrière --- 2e425cab508f80388c356dbd28202f0d779a0461