This project contains a very simple, and incomplete, symbolic math library in Scala ... and there is a ML style "let" expression. Here is a short example that demonstrates the differentiation feature: ...
Cuireadh roinnt torthaí i bhfolach toisc go bhféadfadh siad a bheith dorochtana duit