Patrik Keller
Patrik Keller
Your current implementation lacks type signatures. I will try to fix this. I think we need functors to get rid of the type variables `'msg`, `'model` and so on. This...
I tried to implement @wisp3rwind's proposal to fix issue #59. What do you think?
This issue is follow-up for a question raised in #58. I said: > I'm confused by the implementation of sync_art / embed. From reading the code it seems that album...
This is my first take on #43 . It's the first time I look into beets (plugin) code. I will need your input to bring this into shape. I'm confused...
The current WIP wasm backend does not support Datetime. This thread is for discussing how we could provide Datetime for the new backend. Implementing a datetime library from scratch in...
I try to improve the PPX template a bit: - The rewriter in `bin/main.exe` can now be used on source files directly. - The `CONTRIBUTING.md` documents this feature.
The compiling documentation for Ubuntu 16.04 missed packages necessary to execute the subsequent commands.
and we need a new CI... CircleCI doesn't know how to install opam / ocaml / coq anymore _Originally posted by @jeromesimeon in https://github.com/querycert/qcert/issues/162#issuecomment-916438193_ I set up Github Action CI...
The current Wasm backend is implemented in OCaml and translates from Imp to the [AST](https://github.com/WebAssembly/spec/blob/opam-1.0.1/interpreter/syntax/ast.ml) used in the Webassembly reference implementation. Doing `Imp -> Wasm` in OCaml was fine for...
I'm implementing the last operators for the wasm runtime. I came across the implementation of `EJsonRuntimeCompare` in `qcert-runtime-core.js`. It looks a bit suspicious to me. I cannot judge whether it's...