Remove `infer2.ml`/`type2.ml` - Githubissues

qdbplang / qdbp

MIT License

51 stars 1 forks source link

Remove `infer2.ml`/`type2.ml` #19

Closed qdbplang closed 1 year ago

qdbplang commented 1 year ago

These files should should just be infer.ml and type.ml