diff options
| author |  leino <unknown> | 2014-08-21 21:03:52 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-08-21 21:03:52 -0700 |
| commit | 900c42823f0661107543716a247bec22f01cd9cc (patch) | |
| tree | 13fdda07d14827c2bad6fd71d4180cf1d0084d56 /Binaries | |
| parent | 81669a1d8bb2e36d86464708bb234e7920776ae6 (diff) | |
Changed syntax of derived types to "newtype"
Added parsing of constraints (beyond parsing is yet to come)
Diffstat (limited to 'Binaries')
0 files changed, 0 insertions, 0 deletions