Hello!
I was wondering if we wanted to add a feature to the parser to recognize doubles as constants, similar to how we recognize natural numbers now. The parser currently has no problem with doubles if they are factor weights, but that's it. I think adding this feature would involve making a new UsDouble and TmDouble to go along with the TkDouble we already have.
Let me know what you think!
Sophie Lama
Hello!
I was wondering if we wanted to add a feature to the parser to recognize doubles as constants, similar to how we recognize natural numbers now. The parser currently has no problem with doubles if they are factor weights, but that's it. I think adding this feature would involve making a new UsDouble and TmDouble to go along with the TkDouble we already have.
Let me know what you think!
Sophie Lama