4 ms·
It's pretty easy to wrap most languages in python. Pyminiracer would probably do the trick here.
by hansvm 4y ago
It's pretty easy to wrap most languages in python. Pyminiracer would probably do the trick here.
- riku_iki 4y agoJust checked, it looks like following: >>> ctx.eval("var x = {company: 'Sqreen'}; x.company") although it doesn't give much clue how I install npm for referenced prover. Another story is that referenced prover is not just prover implemented in HS, it is some compiler of functional language, so you would need to call Pyminiracer from your py, which calls some JS function, which will receive code in that functional language: id : @(A: *) @(x: A) A = #A #x x;