diff options
| author | David Thompson <dthompson2@worcester.edu> | 2023-02-26 15:09:37 -0500 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2023-06-08 08:14:41 -0400 |
| commit | 8bcb8e0c25d4636dc12f4494e1bccad2e3597c77 (patch) | |
| tree | 005ea18b64d41300935e5f47c70876c32e6f7e5f /infer2.scm | |
| parent | 24baf3f3b6e14fac2b3f376106184e1214b0dd6e (diff) | |
Add define-symbolic-type macro.
Diffstat (limited to 'infer2.scm')
0 files changed, 0 insertions, 0 deletions