search

CategoricalData / hydra

Transformations transformed
Apache License 2.0
74 stars 10 forks source link

Port Rewriting module to Java #19

Open aman-dureja opened 1 year ago

aman-dureja commented 1 year ago

https://github.com/CategoricalData/hydra/blob/main/hydra-haskell/src/main/haskell/Hydra/Rewriting.hs

joshsh commented 1 year ago

Note: not all functions here need to be ported right away, but there are a few like rewriteTerm and rewriteTermM which are of high importance.

joshsh commented 1 year ago

rewriteTerm and rewriteTermM (which is used for term reduction) are done, while foldOverTerm and rewriteType are still TODO.