learn-ocaml
learn-ocaml copied to clipboard
ocaml-sf
A Web Application for Learning OCaml
in particular, it doesn't support enough mathjax to support inference rules, or elements marked as `math` class. the ultimate reason comes from https://github.com/ocaml-sf/learn-ocaml/tree/master/static/js/mathjax/jax/input which does not include the `tex.js` script:...
* **Kind:** feature * Address #414 first (disabling broken option `learn-ocaml build --jobs=2`) ### Description * Add option **`learn-ocaml build --enable-cmo-build`** * This new experimental option is on by default...
Follow-up of 064dafd20d2ec12042f7ddcddaf8549b14176fd6
**Kind:** feature **Depends:** #302 Dear all, This PR adds the "learn-ocaml-editor" feature that has been developed in https://github.com/pfitaxel/learn-ocaml-editor by the PFITAXEL team, recently migrated by @leunam217 to the latest version...
## Description This development is a joint work with @Aleridia and @agrn that completed their internship in Toulouse this summer. This PR adds the following features to learn-ocaml: * the...
**Related project scope(s):** partition-view ## Bug description Regarding `learnocaml_partition_view.ml`, it seems two points would deserve to be improved after fixing #438: 1. https://github.com/ocaml-sf/learn-ocaml/blob/fbf31257d856607d68e2352b056bd86d1dbad72e/src/state/learnocaml_api.ml#L370-L372 → this basically turn `Partition("X-U1O-AB1-1FJ-ZOF", "demo", "times",...
The title says it all: I have written a grader which works in batch mode (when executed via `learn-ocaml grade`) but fails in the browser (Firefox) with a `Stack_overflow` exception....
In order to have a consistent formatted source code, this PR adds a Makefile rule `format` calling `ocamlformat.0.8` and provides a minimal `.ocamlformat` file (which is **not meant to be...
This is just a QoL feature, for learn-ocaml devs. Feel free to discuss the feature's design here before implementing it!
Suppose I have a datatype for expressions such as ``` type exp = | Num of int | Plus of exp * exp | Times of exp * exp ```...
