diff options
| author | Griffin Smith <root@gws.fyi> | 2021-03-14T21·01-0400 |
|---|---|---|
| committer | Griffin Smith <root@gws.fyi> | 2021-03-14T21·01-0400 |
| commit | b93268085aab14c80a400c299da5d04d2781098e (patch) | |
| tree | 99e9eefc175a36f3949404daf6c2fe4a49d1e1c1 /users/glittershark/achilles/ach/simple.ach | |
| parent | ecb4c0f803e9b408e4fd21c475769eb4dc649d14 (diff) | |
Implement top-level ascription of declarations
Diffstat (limited to 'users/glittershark/achilles/ach/simple.ach')
0 files changed, 0 insertions, 0 deletions