Skip to content
Snippets Groups Projects
Commit 51d2adcd authored by Stéphane Del Pino's avatar Stéphane Del Pino
Browse files

Plug function evaluation so that the following example compiles 

``
let f : N-> R, x -> ((x*x));
R y = f(0);
``
parent 81a33828
No related branches found
No related tags found
1 merge request!37Feature/language
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment