data61 / PSL

Other
65 stars 9 forks source link

SeLFiE and PSL: semantic_induct as a sub-tool of PSL #172

Closed yutakang closed 3 years ago

yutakang commented 4 years ago

Done in ea8058fc34814c9300fa717666fbbb52f3f147d4.

It involves code-duplication.

TODO: clean it.

yutakang commented 3 years ago

I refactored the codebase.