search

nicolasjulioflores / calculus-reasoner

Equational reasoner for calculus
BSD 3-Clause "New" or "Revised" License
0 stars 0 forks source link

Parsing #4

Open sjcjoosten opened 4 years ago

sjcjoosten commented 4 years ago

A comment in #3 made me aware that things still need work regarding parsing. Let me know what issues you're running into, perhaps I can help.

nicolasjulioflores commented 4 years ago

I think we're having trouble using the makeExprParser, but we can see you about this in the office hours to show you what we have.