News for hackers. Stuff that matters.

A comment on The Egison Programming Language. Parent comment

Re:The Egison Programming Language by znafelrif on Sunday April 30, 2023 @03:21AM (#35760345)
Do you have an example of such an implementation in haskell?
[ Parent | on HN ]
Re:The Egison Programming Language by kragen on Sunday April 30, 2023 @05:26PM (#35766774)
googling i found https://gist.github.com/amalex5/541dc739201bbd8e26037b6738cd... although it's missing the type declaration

http://5outh.blogspot.com/2013/05/symbolic-calculus-in-haske... is more complete and also includes an explanation and a bunch of simplifications you'd also want along with it

[ Parent | on HN ]