"src/language/ast/ASTNodeExpressionBuilder.cpp" did not exist on "bc6a2d3c03a98c890ecd32b4d411dd17b58f0d12"
Select Git revision
pugs
Stéphane Del Pino
authored
This allows to write `` let f : R -> R^3, x -> (x, 2*x+1, -2); R^3 x = f(2.3); `` or even `` let f : R -> R^3*R, x -> ((x, 2*x+1, -2), x-1); R^3*R (x,t) = f(2.3); `` Note that it is not completely functional since `` let f : R -> R^3, x -> (x, 2*x+1, -2); R^3 x = 2*f(2.3); `` does not work! The return type of `f(2.3)` is incorrect (should be an R^3 but remains a `typename` which is improper for these calculations).
Name | Last commit | Last update |
---|