https://github.com/probmods/webppl
Revision 4a61dc11d69104f096fd68228739d08eda656174 authored by Andreas Stuhlmüller on 02 July 2017, 19:50:34 UTC, committed by GitHub on 02 July 2017, 19:50:34 UTC
Mention default guides in the docs
Tip revision: 4a61dc11d69104f096fd68228739d08eda656174 authored by Andreas Stuhlmüller on 02 July 2017, 19:50:34 UTC
Merge pull request #860 from null-a/default-guide-docs
Merge pull request #860 from null-a/default-guide-docs
Tip revision: 4a61dc1
| File | Mode | Size |
|---|---|---|
| docs | ||
| examples | ||
| scripts | ||
| src | ||
| tests | ||
| .eslintrc.js | -rw-r--r-- | 821 bytes |
| .eslintrc.wppl.js | -rw-r--r-- | 159 bytes |
| .gitignore | -rw-r--r-- | 261 bytes |
| .travis.yml | -rw-r--r-- | 422 bytes |
| CONTRIBUTING.md | -rw-r--r-- | 996 bytes |
| Gruntfile.js | -rw-r--r-- | 5.0 KB |
| LICENSE.md | -rw-r--r-- | 1.2 KB |
| README.md | -rw-r--r-- | 809 bytes |
| package.json | -rw-r--r-- | 1.6 KB |
| webppl | -rwxr-xr-x | 4.3 KB |
Computing file changes ...
