convert numbers to digits

stanford-oval / thingpedia-common-devices

Thingpedia interface code for commonly used devices

Other

38 stars 28 forks source link

Closed ryachen01 closed 3 years ago

ryachen01 commented 3 years ago

Fixes #269

gcampax commented 3 years ago

The test failures are unrelated, I'm going to merge this anyway.