search

ubc-carnap-team / Rudolf

Truth Tree Widget for Carnap
2 stars 3 forks source link

Parse premises #17

Closed McTano closed 5 years ago

McTano commented 5 years ago

This turned out not to be hard at all. We already have the parseBranch function so I just used that. Closes #15