aboutsummaryrefslogtreecommitdiff
path: root/untyped
diff options
context:
space:
mode:
authorJJ2024-06-29 03:41:38 +0000
committerJJ2024-06-29 04:29:32 +0000
commit30b0c93ce37971450c7ad52bc49ca242d18502fc (patch)
tree8b33e2a4cc4e8c85bf15be62b6fec3cab11ef7a8 /untyped
parente09871bd63754595b19c5395db7be0a84982feed (diff)
stlc-dll: rename infer- and check-
Diffstat (limited to 'untyped')
0 files changed, 0 insertions, 0 deletions