undefined | Better HN

0 pointsnequo2y ago0 comments

Do you know of attempts to integrate SymPy in this way?

0 comments

I tried it with symengine as a GHC(Haskell) Type checker plugin. But it was just too limited to be worthwhile.

j / k navigate · click thread line to collapse

0 pointsnequo2y ago0 comments

Do you know of attempts to integrate SymPy in this way?

I tried it with symengine as a GHC(Haskell) Type checker plugin. But it was just too limited to be worthwhile.

j / k navigate · click thread line to collapse