Gabriel Scherer
Gabriel Scherer
Hi there, and thanks for the cool work! I was browsing the [Madoko webpage](https://www.madoko.net/) and noticed several dead links: - [Presentation Example (HTML)](https://koka-lang.github.io/madoko/samples/slidedemo/out/slidedemo.html) - [Example (PDF)](http://research.microsoft.com/en-us/um/people/daan/madoko/samples/effects/out/effects.pdf) - [Example (HTML)](http://research.microsoft.com/en-us/um/people/daan/madoko/samples/effects/out/effects.html) -...
This game looks quite advanced, and I think it's a pity that it isn't easier to find. Have you considered packaging it on opam? I think that would be really...
There is a discussion on Lobster ([Lobster burntsushi has left the site, algorithm detecting standing might be off ](https://lobste.rs/s/zp4ofg/lobster_burntsushi_has_left_site#c_ghfsmw)) of some unfortunate side-effects of the banner. Some of us tried...
> 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...
I deployed a learn-ocaml server for my OCaml source, on a Centos 7 virtual machine. I learned the hard way that learn-ocaml does not function properly in this environment: only...
I would like to test a local git repository for Canopy blog posts before pushing it to the actual repo. I built Canopy locally, but then I have not manage...
Hi there, I'm now officially a Canopy user thanks to [the ICFP'16 blog](http://icfp2016.mirage.io/), and I find it very cool, thanks! Almost the first thing I did is to look at...
Having #utop_help;; is great, but the best help is a feature that user can discover during their normal interaction with the tool. (utop is already strong on this point thanks...
Some users complain that the way utop handles the completion bar is too visually invasive. I propose the following features to let people select a less fancy completion mode. 1....
It would be nice if the output of `--help` had a clean separation between the command-line parameters inherited from `ocaml` and those that are specific to utop. The latter group...