diff options
| author | David Thompson <dthompson2@worcester.edu> | 2023-02-25 08:15:43 -0500 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2023-06-08 08:14:41 -0400 |
| commit | 3af5bc36fa16057c0a8212d8e4b0582504ec5dd5 (patch) | |
| tree | c8eaa47fcc4d82f0a55b420e6b07602a39351d58 /infer.scm | |
| parent | 03e4be13fb2c5f728b30da50704171ff2d51a5b9 (diff) | |
Add <seagull-variable> type.
Diffstat (limited to 'infer.scm')
0 files changed, 0 insertions, 0 deletions