Marcello Seri

Results 435 comments of Marcello Seri

This should be solved if https://github.com/owlbarn/owl/pull/609 is merged and released. A slightly more straightforward option is to use macports, with that it just works on intel, no env variable needed.

Thanks. I think it may be worth revising the api for cohttp-lwt but it could be done in a future 7.0 release

It does not as far as I remember. I think one major issue is that while PureCSS is very stable and usable, it is barely maintained at the moment (in...

Yes, I think I had thought about it at the time and could not find a satisfactory solution. The code that deals with it is https://github.com/mseri/md2mld/blob/97ae31f54190971b0ac685620095093993a76447/src/backend.ml#L90-L93 Where `quote` is used...

We could replace my handcrafted `>` with two consecutive (redundant) blocks. One in latex using the `quote` environment and one in html using the `blockquotes` environment. It will not be...

I am generating the html form for now. It would not be hard to pass a context to choose between latex-ready or html-ready output though

Nice, this would allow getting rid of https://github.com/mseri/md2mld The rationale there was that many packages have extensive README that would be nice to bundle as documentation introductions or tutorials (instead...

Sure! @jfrolich in the meantime, feel free to submit any improvement from this PR that you may need to `md2mld`

Done for `owl-ode`. We need to do it more explicitly for `owl-ode-sundials` and `owl-ode-odepack`