| -rw-r--r-- | .gitignore | 44L |
| -rw-r--r-- | LICENSE | 661L |
| -rw-r--r-- | README | 42L |
| -rw-r--r-- | docs/sl.sl | 23L |
| -rw-r--r-- | learning/.containerignore | 2L |
| -rw-r--r-- | learning/.ocamlformat | 1L |
| -rw-r--r-- | learning/Containerfile | 16L |
| -rw-r--r-- | learning/Makefile | 21L |
| -rw-r--r-- | learning/bin/dune | 4L |
| -rw-r--r-- | learning/bin/main.ml | 5L |
| -rw-r--r-- | learning/dune-project | 26L |
| -rw-r--r-- | learning/dune-workspace | 2L |
| -rw-r--r-- | learning/dune.lock/angstrom.0.16.1.pkg | 18L |
| -rw-r--r-- | learning/dune.lock/asn1-combinators.0.3.2.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/base-bytes.base.pkg | 5L |
| -rw-r--r-- | learning/dune.lock/base-threads.base.pkg | 1L |
| -rw-r--r-- | learning/dune.lock/base-unix.base.pkg | 1L |
| -rw-r--r-- | learning/dune.lock/base64.3.5.2.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/bigarray-compat.1.1.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/bigstringaf.0.10.0.pkg | 18L |
| -rw-r--r-- | learning/dune.lock/bstr.0.0.4.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/camlp-streams.5.0.1.pkg | 18L |
| -rw-r--r-- | learning/dune.lock/caqti-lwt.2.3.2.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/caqti.2.3.2.pkg | 38L |
| -rw-r--r-- | learning/dune.lock/compiler-cloning.enabled.pkg | 1L |
| -rw-r--r-- | learning/dune.lock/conf-gmp-powm-sec.4.pkg | 20L |
| -rw-r--r-- | learning/dune.lock/conf-gmp.5.pkg | 70L |
| -rw-r--r-- | learning/dune.lock/conf-libev.4-13.pkg | 57L |
| -rw-r--r-- | learning/dune.lock/conf-libssl.4.pkg | 61L |
| -rw-r--r-- | learning/dune.lock/conf-pkg-config.5.pkg | 122L |
| -rw-r--r-- | learning/dune.lock/cppo.1.8.0.pkg | 18L |
| -rw-r--r-- | learning/dune.lock/csexp.1.5.2.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/cstruct.6.2.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/digestif.1.3.1.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/domain-name.0.5.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/dream-httpaf.1.0.0~alpha4.pkg | 28L |
| -rw-r--r-- | learning/dune.lock/dream-pure.1.0.0~alpha2.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/dream.1.0.0~alpha8.pkg | 46L |
| -rw-r--r-- | learning/dune.lock/dune-configurator.3.24.2.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/dune-private-libs.3.24.2.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/dune-site.3.24.2.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/duration.0.3.1.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/dyn.3.24.2.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/eqaf.0.10.pkg | 18L |
| -rw-r--r-- | learning/dune.lock/faraday-lwt-unix.0.8.2.pkg | 18L |
| -rw-r--r-- | learning/dune.lock/faraday-lwt.0.8.2.pkg | 18L |
| -rw-r--r-- | learning/dune.lock/faraday.0.8.2.pkg | 18L |
| -rw-r--r-- | learning/dune.lock/fmt.0.11.0.pkg | 25L |
| -rw-r--r-- | learning/dune.lock/fs-io.3.24.2.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/gluten-lwt-unix.0.5.2.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/gluten-lwt.0.5.2.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/gluten.0.5.2.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/gmap.0.3.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/graphql-lwt.0.14.0.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/graphql.0.14.0.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/graphql_parser.0.14.0.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/h2-lwt-unix.0.10.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/h2-lwt.0.10.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/h2.0.10.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/hmap.0.8.1.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/hpack.0.13.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/httpaf.0.7.1.pkg | 18L |
| -rw-r--r-- | learning/dune.lock/httpun-lwt-unix.0.1.0.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/httpun-lwt.0.1.0.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/httpun-types.0.1.0.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/httpun-ws.0.2.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/httpun.0.1.0.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/ipaddr.5.6.2.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/jingoo.1.5.4.pkg | 14L |
| -rw-r--r-- | learning/dune.lock/kdf.1.1.1.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/ke.0.6.pkg | 14L |
| -rw-r--r-- | learning/dune.lock/lambdasoup.1.1.1.pkg | 14L |
| -rw-r--r-- | learning/dune.lock/lock.dune | 33L |
| -rw-r--r-- | learning/dune.lock/logs.0.10.0.pkg | 31L |
| -rw-r--r-- | learning/dune.lock/lru.0.3.1.pkg | 18L |
| -rw-r--r-- | learning/dune.lock/lwt-dllist.1.1.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/lwt.6.1.2.pkg | 35L |
| -rw-r--r-- | learning/dune.lock/lwt_ppx.6.1.0.pkg | 18L |
| -rw-r--r-- | learning/dune.lock/lwt_ssl.1.2.0.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/macaddr.5.6.2.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/magic-mime.1.3.1.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/markup.1.0.3.pkg | 14L |
| -rw-r--r-- | learning/dune.lock/menhir.20260209.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/menhirCST.20260209.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/menhirGLR.20260209.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/menhirLib.20260209.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/menhirSdk.20260209.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/mirage-clock.4.2.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/mirage-crypto-ec.1.2.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/mirage-crypto-pk.1.2.0.pkg | 26L |
| -rw-r--r-- | learning/dune.lock/mirage-crypto-rng-lwt.1.2.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/mirage-crypto-rng.1.2.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/mirage-crypto.1.2.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/mtime.2.2.0.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/multipart_form-lwt.0.8.0.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/multipart_form.0.8.0.pkg | 26L |
| -rw-r--r-- | learning/dune.lock/ocaml-base-compiler.5.4.1.pkg | 16L |
| -rw-r--r-- | learning/dune.lock/ocaml-base-compiler.5.5.0.pkg | 16L |
| -rw-r--r-- | learning/dune.lock/ocaml-compiler-libs.v0.17.0.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/ocaml-compiler.5.4.1.pkg | 16L |
| -rw-r--r-- | learning/dune.lock/ocaml-compiler.5.5.0.pkg | 89L |
| -rw-r--r-- | learning/dune.lock/ocaml-syntax-shims.1.0.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/ocaml.5.4.1.pkg | 55L |
| -rw-r--r-- | learning/dune.lock/ocaml.5.5.0.pkg | 55L |
| -rw-r--r-- | learning/dune.lock/ocamlbuild.0.16.1+dune.pkg | 28L |
| -rw-r--r-- | learning/dune.lock/ocamlfind.1.9.8+dune.pkg | 47L |
| -rw-r--r-- | learning/dune.lock/ocplib-endian.1.2.pkg | 16L |
| -rw-r--r-- | learning/dune.lock/ohex.0.2.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/ordering.3.24.2.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/pecu.0.7.pkg | 14L |
| -rw-r--r-- | learning/dune.lock/pp.2.0.0.pkg | 18L |
| -rw-r--r-- | learning/dune.lock/ppx_derivers.1.2.1.pkg | 14L |
| -rw-r--r-- | learning/dune.lock/ppx_deriving.6.1.3.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/ppxlib.0.38.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/prettym.0.0.5.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/psq.0.2.1.pkg | 18L |
| -rw-r--r-- | learning/dune.lock/ptime.1.2.0.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/re.1.14.0.pkg | 18L |
| -rw-r--r-- | learning/dune.lock/relocatable-compiler.5.4.1.20251109.1.pkg | 100L |
| -rw-r--r-- | learning/dune.lock/result.1.5.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/rresult.0.7.0.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/seq.base.pkg | 18L |
| -rw-r--r-- | learning/dune.lock/sexplib0.v0.17.0.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/ssl.0.7.0.pkg | 18L |
| -rw-r--r-- | learning/dune.lock/stdlib-shims.0.3.0.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/stdune.3.24.2.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/stringext.1.6.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/top-closure.3.24.2.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/topkg.1.1.1.pkg | 23L |
| -rw-r--r-- | learning/dune.lock/uchar.0.0.2.pkg | 23L |
| -rw-r--r-- | learning/dune.lock/unstrctrd.0.4.pkg | 15L |
| -rw-r--r-- | learning/dune.lock/uri.4.4.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/uucp.17.0.0.pkg | 25L |
| -rw-r--r-- | learning/dune.lock/uutf.1.0.4.pkg | 23L |
| -rw-r--r-- | learning/dune.lock/x509.1.1.1.pkg | 34L |
| -rw-r--r-- | learning/dune.lock/yojson.3.0.0.pkg | 19L |
| -rw-r--r-- | learning/dune.lock/zarith.1.14.pkg | 18L |
| -rw-r--r-- | learning/learning.opam | 34L |
| -rw-r--r-- | learning/lib/basic_functions.ml | 22L |
| -rw-r--r-- | learning/lib/dune | 3L |
| -rw-r--r-- | learning/lib/parser.ml | 106L |
| -rw-r--r-- | learning/lib/render.ml | 87L |
| -rw-r--r-- | learning/lib/server.ml | 73L |
| -rw-r--r-- | learning/lib/shared.ml | 13L |
| -rw-r--r-- | learning/lib/templates.ml | 70L |
| -rw-r--r-- | learning/static/robots.txt | 2L |
| -rw-r--r-- | learning/static/styles.css | 90L |
| -rw-r--r-- | learning/test/dune | 5L |
| -rw-r--r-- | learning/test/test_courses/course_0/0_example.sl | 4L |
| -rw-r--r-- | learning/test/test_courses/course_0/1_example.sl | 9L |
| -rw-r--r-- | learning/test/test_courses/course_0/hidden.md | 1L |
| -rw-r--r-- | learning/test/test_courses/course_1/0_example.sl | 11L |
| -rw-r--r-- | learning/test/test_courses/course_1/1_example.sl | 0B |
| -rw-r--r-- | learning/test/test_learning.ml | 3L |
| -rw-r--r-- | learning/test/test_line_parsing.ml | 90L |
| -rw-r--r-- | learning/test/test_rendering.ml | 89L |
| -rw-r--r-- | learning/test/test_server.ml | 49L |
