issues
search
data61
/
PSL
Other
65
stars
9
forks
source link
Abduction: improve `mk_free_varaible_of_typ`
#196
Open
yutakang
opened
1 year ago
yutakang
commented
1 year ago
It should check for the collision of names.
It should check for the collision of names.