News for hackers. Stuff that matters.

A comment on Towards a New SymPy. Parent comment

Re:Towards a New SymPy by nequo on Friday September 08, 2023 @03:29PM (#37438276)
Do you know of attempts to integrate SymPy in this way?
[ Parent | on HN ]
Re:Towards a New SymPy by rowanG077 on Friday September 08, 2023 @03:39PM (#37438419)
I tried it with symengine as a GHC(Haskell) Type checker plugin. But it was just too limited to be worthwhile.
[ Parent | on HN ]