Kazuki Tanaka

@yonkeltron > To follow up, please look at the following example code which I cooked up in about an hour: oh... you'er so awesome! even use parslet I think your...

oh.. it's my mistake absolutely, I'm gonna fix as soon as possible.

Thank you for letting me know it!

@roryokane @mrshu @pqnelson Your speculation is totally right. It's my mistake... ; ( > I suspect this is because Wolfram Alpha is purely formal (in the sense of "formal series"),...

@fxkr If you wanna do real analysis, You need to type 'postulate zfc_analysis' and enter. Thank for using!

If there is still problem, please feel free to let me know.

@comporlock `lim[x->0] sin(x)/x` should be `1`. yes, you'er not wrong. OK, I'm gonna fix it. Please give me some time.

@jackmaney @ruurd Thank you so much! I'm sorry for delay.. That's true, function in Hilbert is not first class, but we should do.. Basically Hilbert aim to be `pure logic...

@FrenchFlakito Thank you so much! You'er right. Actually word `S` is reserved for Integral. I have to say sorry about there is no prefer document..! Before preparing anything, this language...