Port Rewriting module to Java

Open aman-dureja opened this issue 2 years ago • 2 comments

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

Feb 23 '23 23:02 aman-dureja

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.

Mar 01 '23 19:03 joshsh

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

Mar 18 '23 15:03 joshsh