diff options
| author | Eduardo Julian | 2017-06-19 20:50:18 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-06-19 20:50:18 -0400 |
| commit | 38a673440c70c42d9d4ae4b6bde4ba7328736cdd (patch) | |
| tree | 2fb9f48f23183da54870ea89cbdd53ae8beff2c6 /README.md | |
| parent | ed0406cb0994f14ca5a3e6120b7b1ec6927bae75 (diff) | |
- Changed the type of Def so that values have type Top, instead of Void.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions