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