mseri/owl_tutorials
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Owl Tutorial Book V1
99 commits 2 branches 0 tags 25 MiB
  • OCaml 62.3%
  • C++ 18.5%
  • C 9.3%
  • Standard ML 3.9%
  • Fortran 3%
  • Other 2.8%
Find a file
Exact
Marcello Seri d41b92d68f remove unused discourse js and fix syntax highlighting 
the PrismJS we are using has a small bug in the CLI plugin
(which we use https://prismjs.com/plugins/command-line/)
that doesnt escape/unescape HTML from the output

This PR upgrades PrismJS to 1.17 and also adds a one-line fix
that does escape the output.  In particular, the guided tour
is now consistent with the output of utop, since the `<fun>`
output from the toplevel doesn't corrupt the HTML any more.

Signed-off-by: Marcello Seri <marcello.seri@gmail.com>
2019-09-23 15:28:47 +02:00
bin remove unused discourse js and fix syntax highlighting 2019-09-23 15:28:47 +02:00
book Update include files with lock 2019-09-23 15:06:10 +02:00
duniverse Create eigen.opam 2019-09-20 23:40:44 +02:00
examples editing book ... 2019-09-10 23:50:26 +03:00
scripts Use debian stable otherwise owl will blow up 2019-09-13 15:21:20 +02:00
static remove unused discourse js and fix syntax highlighting 2019-09-23 15:28:47 +02:00
.gitignore Modify eigen to better work in duniverse 2019-09-13 21:19:09 +02:00
.travis.yml Add travis configuration 2019-09-13 13:45:06 +02:00
book-pkgs Make duniverse ready: packages are way more than needed... 2019-09-13 14:49:21 +02:00
Dockerfile Now that we have an image, let's docker run everythin 2019-09-19 22:55:43 +02:00
dune-get Use full duniverse -- including eigen -- and finger crossed 2019-09-20 15:26:55 +02:00
dune-project Use debian stable otherwise owl will blow up 2019-09-13 15:21:20 +02:00
LICENSE Initial commit 2019-09-05 13:32:09 +03:00
Makefile Update Makefile 2019-09-20 20:23:26 +02:00
otb.opam editing book ... 2019-09-08 00:45:20 +03:00
README.md Update README.md 2019-09-13 13:26:31 +02:00

README.md

Owl Tutorials

Owl Tutorial Book V1

  • make test synchronises with Owl API by evaluating the code snippet in the tutorial book.
  • make generates html files.
  • Edit book/toc.scm to add more chapters. Do not edit book/tune and static/dune directly.
  • Refer to RWO for details.

Note that tooling is not finished at the moment. Structure and tools are copied mostly from RWO book.