learn-ocaml
learn-ocaml copied to clipboard
ocaml-sf
A Web Application for Learning OCaml
> Related project scope(s) (ex: client, CSS, grading, etc...) : web frontend, CSS, grading ## The problem If you have several questions inside a single exercise, the display does not...
This PR implements the feature requests #331 and #395. [(Direct link to the specification of `subindex.json`)](https://github.com/ocaml-sf/learn-ocaml/issues/331#issuecomment-842543557)
It would be extremely useful to be able to organize an exercise into sub-parts, perhaps similarly in layout to the tutorials where you can navigate through the sections using left...
**Related issue(s) or PR(s):** - https://github.com/ocaml-sf/learn-ocaml/pull/480 **Related project scope(s):** CLI **Related user(s):** - @hernoufM ## Bug description We could take the opportunity of releasing 1.0.0 to make the exit codes...
The exercise templates I create are always intended to be well-typed, with `NotImplemented` exceptions raised wherever the student is expected to provide their own solution. Sometimes these templates contain significant...
Repro steps: 1. Set up an exercise with grader code dependencies in `depend.txt` as described in https://github.com/lsylvestre/learn-ocaml/blob/master/docs/tutorials/step-8.md. Get the exercise to build successfully using `learn-ocaml build`. 2. Make a breaking...
**Related issue(s) or PR(s):** - https://github.com/coq-community/run-coq-bug-minimizer/pull/12 (example) **Related project scope(s):** GHA ## The problem It would be nice to automatically suggest version changes of GH actions in learn-ocaml's workflows, so...
## Bug description Pretty self-explanatory, doesn't compile because of a slightly wrong OCaml version. ### To reproduce Steps to reproduce the behavior: 1. `git clone` the repo. 2. Attempt to...
meta-issue: learn-ocaml 0.13.1, 0.14.0 release plan and milestones suggestions for upcoming releases
Hi all, This issue aims to document the release plan as well as possible milestones for issues/PRs before setting them. We'll close this issue as soon as learn-ocaml 0.14.0 is...
**Related project scope(s):** packaging and/or GHA ## The problem * For macOS users, ease the fetch of `{learn-ocaml-client, learn-ocaml}` ### Wanted solution * `brew install learn-ocaml-client` ### Considered alternatives *...