diff options
| author | Cliff Click <cliffc@acm.org> | 2025-01-07 15:31:54 -0800 |
|---|---|---|
| committer | Cliff Click <cliffc@acm.org> | 2025-01-15 15:07:30 -0800 |
| commit | e0d7b4f8ef0e886f8efae62b77402007e6b2476c (patch) | |
| tree | 042c6df4fc96b6f3bd128f03f1cfda4c1f66704e /README.md | |
| parent | c2169787d92da57aa0e11cd026e398b3d5fcda12 (diff) | |
| download | Simple-e0d7b4f8ef0e886f8efae62b77402007e6b2476c.tar.gz Simple-e0d7b4f8ef0e886f8efae62b77402007e6b2476c.zip | |
Forward Ref type to Bottom
So FRefs can strictly lift when defined.
Parser can support forward refs in more cases, by upcasting now and proving the cast is correct later.
Monotonic for some float ops.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions