search

cjavad / dare

Rust implementation of a tableau parser for logical expressions and generation of math output.
Other
4 stars 0 forks source link

Implements errors, tokens and spans #6

Closed ChangeCaps closed 2 years ago

ChangeCaps commented 2 years ago

Implements some of the fundamental building block for the parser.