Ian Sweet

Support for new 4.08 monadic syntax?

1

Are there plans to add support for monadic syntax (`let*` and friends) to Base? I'm imagining that the `Let_syntax` modules could just add the `let*` alias.

Arithmetic operations in boolean GMW -- expected running time?

2

Hey, Apologies for the long issue. We are using MOTION in research that we are getting ready to publish and we don't want to misrepresent MOTION. I wonder what your...

Hey, I'm just playing around with Distill for the first time. I use OCaml quite a bit and figured I would try out a code block. Here's the source: ```...

I'm trying to take an existing set of core files and perform setup with Yosys (`fusesoc --cores-root=. run --setup --tool yosys ...`), and I'm getting the following `KeyError`: ``` Traceback...

example of switching p2a to dune

17

I'd like to propose switching to the [`dune`](https://github.com/ocaml/dune) build system for OCaml. This performs the port for the `p2a` project. **This should not be merged!** It is merely to show...

Just leaving this here as a suggestion for investigation. The [`qcheck`](https://opam.ocaml.org/packages/qcheck/) is a QuickCheck-like library for OCaml. It can be used to define property-based tests easily. The [documentation](http://c-cube.github.io/qcheck/0.8/qcheck/index.html) gives an...