3 ms·
Do you know of attempts to integrate SymPy in this way?
by nequo 3y ago
Do you know of attempts to integrate SymPy in this way?
- rowanG077 3y agoI tried it with symengine as a GHC(Haskell) Type checker plugin. But it was just too limited to be worthwhile.