Simon Cruanes
Simon Cruanes
a service I'd like to bind (zulip) uses openAPI v3…
might be `text/mathematica` or `application/mathematica` instead of plaintext goal: have output be colored properly too!
reply to inspect queries, displaying a html doc with: - set of rules defined on this symbol - output of `Doc[X]` if anything
see ocaml-rs OCaml would compile complex patterns down to a lower level rewriting machine (with backtracking)
definition of a constant should be: ```ocaml type def = | Rule of rule | Fun of builtin_fun type defs = | Def_cst of expr (* the constnat itself is...
In every term, store a timestamp (an `int`). It represents the last state in which this term is a normal form, if any. 0 means it's not (known to be)...
hi :wave:! In this [ocaml-protoc issue](https://github.com/mransan/ocaml-protoc/issues/173), I suggest to separate the runtime module of ocaml-protoc (originally lifted from ppx_deriving_protobuf) into its own package, to reduce runtime dependencies of code that...
some projects don't use lwt (lots of synchronous code). A blocking backend would be very useful.
tls pulls a lot of dependencies, it'd be very convenient to just use normal lwt networking functions.
(this is pretty exploratory, no timeline) - [x] make it compile with sync APIs - [ ] add a way to create a connection using a pair of channels -...