diff options
| author | Eduardo Julian | 2019-02-04 20:37:54 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2019-02-04 20:37:54 -0400 |
| commit | 7e4479b927f400e617602a8686683e14a7f2f74a (patch) | |
| tree | d5f5f117cace26e19f6a54b78d78b524df250974 /README.md | |
| parent | 02bd27592bb36efb97120f2c852374130209017d (diff) | |
Re-implemented the IO type as an abstract type in order to avoid potential issues with sub-typing during type-checking.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions