Ali Caglayan
Ali Caglayan
@jdchristensen That sounds good to me.
I'll see if I can find some time this week to take a closer look.
@jdchristensen That sounds good to me.
I think maybe alectryon had some weird CSS issues then I don't recall. The point is we ought to be able to see it all from the CI.
I think documenting it in STYLE.md would be a good idea. I'll do that.
The dual state of `pkg` might not make sense in the `(context)` stanza given that the other options like `(switch)` exist. Maybe at that point it should be `(pkg)`. Whether...
> > The dual state of pkg might not make sense in the (context) stanza given that the other options like (switch) exist > > Could you elaborate? ```scheme ;...
@FCsacsa did you unset the OCAMLPATH variable?
@FCsacsa there is not much I can help with without knowing more information. Try asking on Coq's Zulip.
I don't think this needs triage since I checked it myself?