search

sourcebots / robot-api

(Legacy) API to interface with robotd
http://docs.sourcebots.co.uk/api/
MIT License
4 stars 1 forks source link

Type checking tweaks #59

Closed PeterJCLaw closed 6 years ago

PeterJCLaw commented 6 years ago

Various small fixes to my own review comments on #34.