search

RoboSherlock / robosherlock

http://www.robosherlock.org
26 stars 28 forks source link

Typesystem changes #130

Closed bbferka closed 6 years ago

bbferka commented 6 years ago

renamed one of the auxiliary types