diff options
| author | JJ | 2024-06-19 05:25:52 +0000 |
|---|---|---|
| committer | JJ | 2024-06-20 20:47:53 +0000 |
| commit | 011219189f4d6525ee844bcf9ff03fcf3555ee2c (patch) | |
| tree | 005c7a38ec9932cc90c5a572377be2df2012c25e /lc.rkt | |
| parent | a9ac20a10930cba0f7ab7294b8f46429671277e2 (diff) | |
add some typing rules, minor fixes
Diffstat (limited to 'lc.rkt')
0 files changed, 0 insertions, 0 deletions