New Pattern Matching Library (by jfschaefer)

KWARC / llamapun

common language and mathematics processing algorithms, in Rust

https://kwarc.info/systems/llamapun/

GNU General Public License v3.0

25 stars 6 forks source link

New Pattern Matching Library (by jfschaefer) #11

Closed dginev closed 6 years ago

dginev commented 6 years ago

Rebasing a remote branch ended up surprisingly hard, I ended up pushing the origin master instead of the rebased changes.

These are the original changes of @jfschaefer 's PR #8 , rebased on the current master. I intend to merge as-is pretty much immediately, just running basic tests now.

dginev commented 6 years ago

I added the original PR description as a documentation entry under doc/ as can be seen here

dginev commented 6 years ago

Fixed my rebase omission, all tests pass now!