Eray Ozkural wrote:
> AFAICT, there is no [BER MetaOCaml] native code support for x64.
> Are there any plans to upgrade to 3.12 and x64?
Well, 3.12 hasn't been officially released yet. There is strong
intention to upgrade to 3.12 once the release dust settles.
The byte-code BER MetaOCaml shoul
>> 4) You would like to generate OCaml program fragments instead of Scheme.
>> Your idea is that the type system, imposing more constraints on the legal
>> program, will reduce the search space and accelerate your generator.
> Absolutely. For simpler function induction problems, I assume this
> co