diff options
| author | Kathy Gray | 2015-01-12 20:31:51 +0000 |
|---|---|---|
| committer | Kathy Gray | 2015-01-12 20:31:51 +0000 |
| commit | d633a0fa979f70796086cacf481474d6343a7762 (patch) | |
| tree | 0fd3bdd3de9fcf9e73c22728a86155fa2d7a90a7 /src/test/main.bin | |
| parent | 5e7398b59e7d3b1f846a823f32c84c50155e4ccc (diff) | |
Add specialised support for numeric singleton types (i.e. what used to be range<'N,'N>)
Non-sugar syntax is -- forall Nat 'N. atom<'N>
Sugar syntax is -- [: 'N :]
Also begin adding pp support for generating ocaml from ast types.
Diffstat (limited to 'src/test/main.bin')
0 files changed, 0 insertions, 0 deletions