hydiomatic
hydiomatic copied to clipboard
hylang
The Hy Transformer
Per [this discussion](https://github.com/hylang/hydiomatic/pull/13#issuecomment-428833370), for some of the new Hy update rules, we will need to add new `import` and `require` statements. The additions will need to be scoped somewhat intelligently...
Can the `[pre/post]walk` and fixed-point iterations be performed in miniKanren (e.g. using recursive relations, `conde`/`alwayso`/`anyo`, etc.)? If so, are there any advantages to doing that?
As mentioned [here](https://github.com/hylang/hydiomatic/pull/13#issuecomment-426900471), we should probably add source and target versions to the rulesets and command line. This would allow us to safely reinstate the old and new Hy syntax...
Given the recent major release of Hy 1.0.0 (Afternoon Review), now seems an opportune moment to resurrect this project and catch it up to the current master in hylang/hy. Subsumes...
