diff options
author | Eduardo Julian | 2019-05-17 20:04:38 -0400 |
---|---|---|
committer | Eduardo Julian | 2019-05-17 20:04:38 -0400 |
commit | 206ab12554d858f2e8a5a2fe5b476d5ac77fef53 (patch) | |
tree | d8128b371bd3b1a11dd6d30710dbef6a1be006cf /documentation/research/text_editor & ide.md | |
parent | 6916a864871247a2f6aa60d5c69814cd2ba8ae4b (diff) |
The IO type now uses "Any" instead of "Nothing", to avoid the possibility of the dummy argument being used in any meaningful way.
Diffstat (limited to 'documentation/research/text_editor & ide.md')
0 files changed, 0 insertions, 0 deletions