search

probmods / webppl-editor

Browser-based editor for WebPPL
Other
8 stars 1 forks source link

Add keyboard shortcut for running code #11

Closed longouyang closed 8 years ago

longouyang commented 8 years ago

Added in 0557d8b