[isabelle] A problem on ML-like function programming
Happy new year!
I have a question on analyzing the structure of a function in function
I use FL, a function language in with reflection feature.
I have a simple function definition, and want to print its structure
let f x=x +1;
I want to print the value f as a string follows:
" f x=x + 1";
how to implement it? Of course, I want to generalize this to any function.
This archive was generated by a fusion of
Pipermail (Mailman edition) and