diff options
| author | JJ | 2024-06-21 01:00:50 +0000 |
|---|---|---|
| committer | JJ | 2024-06-21 01:00:50 +0000 |
| commit | 043ac7bd62b5f6114374a33c4bff17c6fb59837b (patch) | |
| tree | 2dbad1c9644058251c4bdab791ff82f31505b3ec /stlc-hor.rkt | |
| parent | a1394d8f65d4866d21769905e4ed2666f33897ea (diff) | |
broadly switch to infix operators
Diffstat (limited to 'stlc-hor.rkt')
0 files changed, 0 insertions, 0 deletions