drake

Will Landau

2019-08-19

1 Learn about drake

The main resources to learn drake are the user manual, the reference website, learndrake, and drakeplanner. The information from this vignette has moved to the manual.