├── .gitignore ├── LICENSE ├── README.md ├── Setup.hs ├── examples ├── Feldspar.hs └── Simple.hs ├── ho-rewriting.cabal ├── src └── Data │ └── Rewriting │ ├── FirstOrder.hs │ ├── HigherOrder.hs │ └── Rules.hs └── tests └── Capture.hs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emilaxelsson/ho-rewriting/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emilaxelsson/ho-rewriting/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emilaxelsson/ho-rewriting/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /examples/Feldspar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emilaxelsson/ho-rewriting/HEAD/examples/Feldspar.hs -------------------------------------------------------------------------------- /examples/Simple.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emilaxelsson/ho-rewriting/HEAD/examples/Simple.hs -------------------------------------------------------------------------------- /ho-rewriting.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emilaxelsson/ho-rewriting/HEAD/ho-rewriting.cabal -------------------------------------------------------------------------------- /src/Data/Rewriting/FirstOrder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emilaxelsson/ho-rewriting/HEAD/src/Data/Rewriting/FirstOrder.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/HigherOrder.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emilaxelsson/ho-rewriting/HEAD/src/Data/Rewriting/HigherOrder.hs -------------------------------------------------------------------------------- /src/Data/Rewriting/Rules.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emilaxelsson/ho-rewriting/HEAD/src/Data/Rewriting/Rules.hs -------------------------------------------------------------------------------- /tests/Capture.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/emilaxelsson/ho-rewriting/HEAD/tests/Capture.hs --------------------------------------------------------------------------------