branch: externals/beardbolt commit a638324882fc0266ce753c645dd80787247554cc Author: Jay Kamat <jaygka...@gmail.com> Commit: Jay Kamat <jaygka...@gmail.com>
Add OCaml demo --- README.org | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/README.org b/README.org index 2347b7994d..da0d81727b 100644 --- a/README.org +++ b/README.org @@ -31,3 +31,9 @@ add it.. :fetcher gitlab :repo "jgkamat/rmsbolt")) #+END_SRC + +* Demo + +** Ocaml + +[[https://u.cubeupload.com/jgkamat/PabAq2.gif][https://u.cubeupload.com/jgkamat/PabAq2.gif]]